Congratulations to Assist. Prof. Magnus Madsen and Professor Jaco van de Pol, who are among the 26 recipients of the 2021 spring Amazon Research Awards 🎉 Magnus and Jaco will receive $60,000 for their project Type Inference with Boolean Unification. The award is intended to support work on the Flix programming language

At ICFP, the two papers “Theorems for Free from Separation Logic Specifications” and “Client-Server Sessions in Linear Logic” were awarded the Distinguished Paper Award. Each year, the ICFP program committee selects distinguished papers that they think provide the best balance of importance, exposition, and novelty. These papers are specially held up to the community as papers not to be missed. This year, 35 papers were accepted at ICFP, and of those 4 were selected as distinguished papers.

Congratulations to PhD student Zesen Qian, Postdoc Armaël Guéneau and Professor Lars Birkedal who co-authored the papers.

Selection of new genetic mutations that are beneficial puts some organisms within a population at an advantage compared to others. In some populations, the same beneficial mutation is more likely to take over than in other populations. The population structures that increase the likelihood of the successful takeover are known as "amplifiers of selection," because they enhance the effect of natural selection.

The paper about characterizing amplifiers of natural selection and their optimization, written by Andreas Pavlogiannis in collaboration with researchers from the mathematics department at Harvard University and the Institute of Science and Technology in Austria, appeared Nature Communications, June 29.

In 2019, 12 international students from around the world chose to move to Aarhus to study their Master of Computer Science at Aarhus University. After their graduation this Summer 8 of them have decided to stay in Denmark for full-time work.

So why choose Aarhus as a study city and future home as an international? Destination AARhus sat down with three of our graduates. They have shared their thoughts of moving to Aarhus, how it has been to study here, and their decision to stay.

On August 20th, it was finally possible to celebrate our Computer Science and IT Product Development graduates in the Peter Bøgh Andersen auditorium. Due to covid-19, the celebration was cancelled last year, and thus 145 graduates (July 2019 to August 2021) were invited.

After the summer holidays, Aarhus University will welcome 7,243 new students. At the Department, all student places for the BSc program in Computer Science are filled with 164 new students. However, we still haveavilable places at IT Product Development. Click on the link for the application form.

"I am happy about every application we have received, and I look forward to welcoming our new students" says head of department Kaj Grønbæk, and continues "However, it is worrying that we are seeing a decline in applicants for IT educations. The decline is not only at Aarhus University but is seen throughout the country, where the number of first-priority applicants has fallen by 6%".

In 2020 Diego joined the Department of Computer Science as an Associate Professor in the Cryptography and Security research goup. Diego's main research interests are the efficient and secure implementation of cryptographic algorithms and protocols, an area called Cryptographic Engineering.

We are happy to welcome visiting professor Patricia Johann from Appalachian State University. Patricia will be part of Center for Basic Research in Program Verification (CPV) from August 2021 to January 2022. Along with Patricia is her postdoc Pierre Cagne. We look forward to working with you!

The paper "Fast and strong amplifiers of natural selection" by Assistant professor Andreas Pavlogiannis has just been published in Nature Communications volume 12, Article 4009.

Congratulations to Assist. Prof. Magnus Madsen and Professor Jaco van de Pol, who are among the 26 recipients of the 2021 spring Amazon Research Awards 🎉 Magnus and Jaco will receive $60,000 for their project Type Inference with Boolean Unification. The award is intended to support work on the Flix programming language

At ICFP, the two papers “Theorems for Free from Separation Logic Specifications” and “Client-Server Sessions in Linear Logic” were awarded the Distinguished Paper Award. Each year, the ICFP program committee selects distinguished papers that they think provide the best balance of importance, exposition, and novelty. These papers are specially held up to the community as papers not to be missed. This year, 35 papers were accepted at ICFP, and of those 4 were selected as distinguished papers.

Congratulations to PhD student Zesen Qian, Postdoc Armaël Guéneau and Professor Lars Birkedal who co-authored the papers.

Selection of new genetic mutations that are beneficial puts some organisms within a population at an advantage compared to others. In some populations, the same beneficial mutation is more likely to take over than in other populations. The population structures that increase the likelihood of the successful takeover are known as "amplifiers of selection," because they enhance the effect of natural selection.

The paper about characterizing amplifiers of natural selection and their optimization, written by Andreas Pavlogiannis in collaboration with researchers from the mathematics department at Harvard University and the Institute of Science and Technology in Austria, appeared Nature Communications, June 29.

In 2019, 12 international students from around the world chose to move to Aarhus to study their Master of Computer Science at Aarhus University. After their graduation this Summer 8 of them have decided to stay in Denmark for full-time work.

So why choose Aarhus as a study city and future home as an international? Destination AARhus sat down with three of our graduates. They have shared their thoughts of moving to Aarhus, how it has been to study here, and their decision to stay.

Today, Jonathan Sterling officially joins CPV as a postdoc. Jonathan graduated from U.C. Berkeley in 2013 with a B.A. in Linguistics, and spent a few years an industrial software engineer before taking up a Ph.D. in computer science at Carnegie Mellon University to work on programming languages and homotopy type theory. He employs semantic methods to design, verify, and implement languages and tools that enable both programmers and mathematicians to negotiate the different levels of abstraction that arise in their work.

When not working, Jonathan enjoys cooking, Jazz piano, ancient languages, mathematics, and hiking. I also have fun programming in ML languages (like OCaml and Standard ML) as well as Racket.

Welcome Jonathan, we look forward to working with you!

On August 20th, it was finally possible to celebrate our Computer Science and IT Product Development graduates in the Peter Bøgh Andersen auditorium. Due to covid-19, the celebration was cancelled last year, and thus 145 graduates (July 2019 to August 2021) were invited.

After the summer holidays, Aarhus University will welcome 7,243 new students. At the Department, all student places for the BSc program in Computer Science are filled with 164 new students. However, we still haveavilable places at IT Product Development. Click on the link for the application form.

"I am happy about every application we have received, and I look forward to welcoming our new students" says head of department Kaj Grønbæk, and continues "However, it is worrying that we are seeing a decline in applicants for IT educations. The decline is not only at Aarhus University but is seen throughout the country, where the number of first-priority applicants has fallen by 6%".

In 2020 Diego joined the Department of Computer Science as an Associate Professor in the Cryptography and Security research goup. Diego's main research interests are the efficient and secure implementation of cryptographic algorithms and protocols, an area called Cryptographic Engineering.

We are happy to welcome visiting professor Patricia Johann from Appalachian State University. Patricia will be part of Center for Basic Research in Program Verification (CPV) from August 2021 to January 2022. Along with Patricia is her postdoc Pierre Cagne. We look forward to working with you!