Forskning og uddannelse i verdensklasse

Bliv en del af et af Europas førende institutter indenfor Datalogi og IT

Instituttets uddannelser

Læs mere om uddannelserne Datalogi og IT-Produktudvikling.

Forskningsområder

Førende forskning i teoretisk og eksperimentel datalogi.

Nyheder

22. september 2021 - CS frontpage

Twelve projects are receiving DKK 45 million in grants in Denmark’s largest programme for data-driven interdisciplinary research: Villum Synergy. Two of the new Villum Synergy projects are granted to Aarhus University. Congratulations to Panagiotis Karras and Kasper Green Larsen, who will be collaborating with researchers from Department Chemistry and Department of Physics and Astronomy.

16. september 2021 - CS frontpage

Congratulations to Assist. Prof. Magnus Madsen and Professor Jaco van de Pol, who are among the 26 recipients of the 2021 spring Amazon Research Awards 🎉 Magnus and Jaco will receive $60,000 for their project Type Inference with Boolean Unification. The award is intended to support work on the Flix programming language

15. september 2021 - CPV

At ICFP, the two papers “Theorems for Free from Separation Logic Specifications” and “Client-Server Sessions in Linear Logic” were awarded the Distinguished Paper Award. Each year, the ICFP program committee selects distinguished papers that they think provide the best balance of importance, exposition, and novelty. These papers are specially held up to the community as papers not to be missed. This year, 35 papers were accepted at ICFP, and of those 4 were selected as distinguished papers.

Congratulations to PhD student Zesen Qian, Postdoc Armaël Guéneau and Professor Lars Birkedal who co-authored the papers.

Flere nyheder

Mød de færdiguddannede

Læs om nogle af vores færdiguddannede studerende fra Datalogi og IT-Produktudvikling der i dag bruger deres kompetencer i mange forskellige typer jobs og virksomheder.