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…

When Eve Hoggan joined the department in 2016, she planned to continue her research on multimodal interaction. She wanted to understand how people experience technology through touch, sound and movement. Ten years later, that work has grown into new research directions, an ERC Consolidator Grant in 2025 and now a promotion to professor.