News

Congratulations to our new tenure-track Assistant Professor Stratis Skoulakis, who has been awarded the prestigious Villum Young Investigator grant by…

Yesterday, the paper Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning was awarded the Test-of-Time Award at POPL 2025!…

Professors Niklas Elmqvist and Susanne Bødker have been elevated to ACM Fellows by Association for Computing Machinery (ACM), in recognition of their…

On February 7, everyone interested in our international bachelor programmes in Computer Science and IT Product Development are invited to visit the…

Aarhus is cementing its position as a global IT hub with the launch of INCUBA Next, an 18-story center for innovation. Close collaboration with the…

We are happy to announce that the research paper ‘The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic’ has received…

In episode 5 of Computer Science - The Aarhus Way, Associate Professor Eve Hoggan shares insights into HCI research and how this field blends computer…

Episode 4 of 'Computer Science - The Aarhus Way' delves into algorithms and machine learning with Professor Kasper Green Larsen. He discusses how…

How do you defend 1,500 baggage systems from cyberattacks? Beumer has teamed up with Jaco van de Pol and his team to secure airport logistics…

Congratulations to PhD student Rafael Pablos Sarabia and Professor Ira Assent, who, along with their co-authors from Cordulus, have received the Best…