English
Twelve projects are receiving DKK 45 million in grants in Denmark’s largest programme for data-driven interdisciplinary research: Villum Synergy. Two…
Congratulations to Assist. Prof. Magnus Madsen and Professor Jaco van de Pol, who are among the 26 recipients of the 2021 spring Amazon Research…
At ICFP, the two papers “Theorems for Free from Separation Logic Specifications” and “Client-Server Sessions in Linear Logic” were awarded the…
Selection of new genetic mutations that are beneficial puts some organisms within a population at an advantage compared to others. In some…
In 2019, 12 international students from around the world chose to move to Aarhus to study their Master of Computer Science at Aarhus University. After…
Magnus Madsens nye programmeringssprog Flix vil gøre livet lettere for programmører. »Målet med Flix er at gøre bedre brug af computerens ressourcer,…