On July 1, the Department celebrated our 73 new master graduates in Computer Science and IT Product Development graduates. At the ceremony, Head of Department Kaj Grønbæk welcomed the 50 participating graduates and their families, alumni Aino Corry gave the graduation speech, and Vice-Dean of Education Kristine Kilså presented the graduates with their diploma and specially designed graduation poster. We also got to celebrate graduate #200 in IT Product Development and #2,000 in Computer Science 🎉

Finding out whether a question is too difficult to ever solve efficiently depends on figuring out just how hard it is. Associate professor Srikanth Srinivasan, Nutan Limaye (IT University in Copenhagen) and Sébastien Tavenas (Savoy Mont Blanc University, France) have shown how to do that for a major class of problems. Their results are further elaborated in Quanta Magazine. The research paper also won "Best Paper Award" at the annual IEEE Symposium on Foundations of Computer Science (FOCS) earlier this year.

Congratulations to postdoc Jonathan Sterling, from the Logic and Semantics research group, who has received the highly prestigious Marie Sklodowska-Curie postdoc fellowship. Jonathan will be working on synthetic methods in program verification, and the aim of the project is to extend the successful STC approach to a wider class of programming models, in particular programming languages with effects.