Aarhus University logo
Department of Computer Science
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.
A new Grand Solutions project led by Professor Jaco van de Pol has received DKK 17.4 million from Innovation Fund Denmark. The ODAQS project will…
Page 1 of 3
