Congratulations to PhD student Aïna Linn Georges, professor Lars Birkedal and former postdoc Alix Trieu (now software security group at ANSSI ) who have won an ACM SIGPLAN Distinguished Paper Award at SPLASH Conference '22 🏆 Read the award-winning paper: cs.au.dk/~ageorges/publ… 🎉

We're hiring! Department of CS at Aarhus University has open Assistant/Associate Professor positions. Applicants within all areas of CS are welcome, including Programming Languages, Software Engineering, Logic and Semantics cs.au.dk/about-us/vacan…