Dansk
Congratulations to postdoc Jonathan Sterling, who had the paper "A cost-aware logical framework" accepted at POPL 2022. The paper is written in…
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…
Today, Jonathan Sterling officially joins CPV as a postdoc. Jonathan graduated from U.C. Berkeley in 2013 with a B.A. in Linguistics, and spent a few…
On August 20th, it was finally possible to celebrate our Computer Science and IT Product Development graduates in the Peter Bøgh Andersen auditorium.…
After the summer holidays, Aarhus University will welcome 7,243 new students. At the Department, all student places for the BSc program in Computer…
"I am happy about every application we have received, and I look forward to welcoming our new students" says head of department Kaj Grønbæk, and…
Page 31 of 89.