Dansk
October 16-17, some of talented students attended Maker Faire Aarhus at Dokk1. Besides showing and telling the many visitors what IT Product…
🎉 Congratulations to associate professor Srikanth Srinivasan, who has been granted the best paper award for his contribution to FOCS 2021 – the 62nd…
Aarhus University and Department of Computer Science enters a strategic agreement with Indian IT-company Infosys in the presence of the Danish Prime…
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…
Page 22 of 80.