Ten years after its publication, the paper Higher-Order Ghost State has received the ICFP 2026 Test of Time Award in recognition of its lasting impact on programming languages research. Professor Lars Birkedal received the award at the ACM SIGPLAN International Conference on Functional Programming (ICFP) 2026.

How can we make sure software really behaves as intended? Meet new Tenure-Track Assistant Professor Alejandro Aguirre, whose research uses mathematical techniques to verify software and strengthen privacy and security.

For nearly two decades, Clemens has explored a simple but powerful question: How can technology adapt to people, instead of forcing people to adapt to technology? His research in Human-Computer Interaction spans user-programmable software, computational media and, more recently, AI-assisted interaction design. Throughout it all, one ambition has…

This week, 34 master’s and PhD students from around the world have come to Aarhus to participate in our Summer School in Programming Languages, Logic and Software Security, organised by Associate Professor Amin Timany, with administrative support from Vibe Falkenhard Røn and Henriette Gammelgaard Farup.

During five intensive days, the participants…

Professor Gerth Stølting Brodal has received the TALG Harold N. Gabow Best Paper Award together with George Lagogiannis (Agricultural University of Athens) and Robert E. Tarjan (Princeton University) for their paper Strict Fibonacci Heaps.

The award from ACM Transactions on Algorithms (TALG) recognises the impact and lasting significance of a TALG…