Aarhus University logo
Department of Computer Science
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…
Postdoc Clement Allain received an award for his PhD thesis, Verification of Fine-Grained Concurrent OCaml 5 Algorithms using Separation Logic. Congra…
Research assistant Alessandro Sosso has been awarded a PhD Fellowship from the Danish Data Science Academy (DDSA).
Researchers from the Programming Languages, Logic, and Software Security (PLS) section at the Department of Computer Science, Aarhus University, have…
The Grand Solutions project ODAQS is a collaboration between Aarhus University, Aalborg University and the company Kvantify. On 29. May, the partners…
From August 10-14, PhD students and advanced BSc/MSc students will have the opportunity to join leading researchers in Aarhus for a week of intensive…
Sergei Stepanenko and Ismail Kuru are our two new postdocs. They join the section under supervision of Professor Lars Birkedal.
Page 1 of 3
