Nyheder

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…

Den 7. februar inviteres alle de er interesserede i vores internationale bacheloruddannelser i Datalogi og IT-Produktudvikling til at besøge…

Aarhus cementerer sin position som et globalt IT-knudepunkt med åbningen af INCUBA Next, et 18-etagers center for innovation. Det tætte samarbejde med…

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…

In the third episode of Computer Science – The Aarhus Way, Associate Professor Sophia Yakoubov dives into the fascinating world of cryptography. From…