Aarhus University logo
Department of Computer Science
The number of reported software vulnerabilities is rising sharply. But that's not necessarily bad news, Associate Professor Aslan Askarov explains to…
On 4-5 November, the Department will once again participate in Digital Tech Summit, Denmark's largest AI and digital transformation expo. Our…
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…
Page 1 of 4
