Aarhus University logo
Department of Computer Science
Associate Professor Bas has received a USD 385,220 grant through the AI for Math Fund for an international research project aiming to make…
Denmark needs to do more than defend itself against cyberattacks. The ability to develop secure digital solutions could become a competitive advantage…
On Friday, September 25, our section gathered at Den Gamle By for our annual PLS retreat.
This year, we focused on research communication and…
Ten years after its publication, the paper Higher-Order Ghost State has received the ICFP 2026 Test of Time Award in recognition of its lasting impact…
How can we make sure software really behaves as intended? Meet new Tenure-Track Assistant Professor Alejandro Aguirre, whose research uses…
This week, 34 master’s and PhD students from around the world have come to Aarhus to participate in our Summer School in Programming Languages, Logic…
Congratulations to Associate Professor Daniel Gratzer on receiving a Distinguished Paper Award at the 2026 ACM/IEEE Symposium on Logic in Computer…
This spring and summer we have welcomed 5 research interns in PLS.
Jeanne Coschieri, Tada Siangchin, Robinson Langlois, Mathieu Paturel, and Simon…
Professor Anders Møller has been awarded a prestigious ERC Advanced Grant and EUR 2.5 million from the European Research Council (ERC) for his project…
Ry Wiese has been awarded a PhD fellowship from the Danish Advanced Research Academy (DARA) to investigate how programming languages can help build…
Page 1 of 3
