Summer school

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 are diving into topics including type theory, formal verification, proof assistants and language-based security, taught by researchers from our Programming Languages, Logic and Software Security section. 

The programme also included a visit to Google’s Aarhus office, and tomorrow, we’ll wrap up the week with dinner and a Zar Paulo concert in Tivoli Friheden.

A big thank you to ACM SIGPLAN, the Carlsberg Foundation and Google for their generous support, helping us bring together students from across the world for a week of learning, networking and new connections.