🎉 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 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…