English
A collaboration between the research groups "Logic and Semantics" and "Collaboration and Human-Computer Interaction" has resulted in Carla Griggio,…
Congratulations to assistant professor Jean Pichon and professor Lars Birkedal, both from the Logic and Semantics research group, who each have…
Aarhus University has made an ambitious strategic to radically expand the Department of Computer Science. Therefore, the department is looking for a…
Congratulations to former master student - now graduate at Vestas - Adam Petro, who has been awarded the 2022 Grundfos Student prize award for his…
Concordium Blockchain, COBRA, Aarhus University, the Alexandra Institute, and the IT University have been granted DKK 3.6 million by DIREC, to…
The paper "Collectives and Their Artifact Ecologies" by Henrik Korsgaard, Clemens Klokmose, Susanne Bødker and their collaborators has won the Best…
Congratulations to Ivan Damgård, Jesper Buus Nielsen, and former PhD student Sigurd Meldgaard (now software engineer at Google) who have been selected…
This year, researchers from the department are organizing four sessions at the Digital Tech Summit. Ira, Bas, Eve, and Ken will each chair a session…
The paper ‘Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation’ written by PhD students Oskar Haarklou Veileborg and…
Associate professor Diego Aranha is #11 on the TwiLi Index, which lists the top 100 Danish Scientists on social media. However, Diego is will…
Side 3 af 47