PhD defence
Defence by PhD student Frederik Krogsdal Jacobsen
“User-Friendly Formal Methods”
Supervisors:
Associate Professor Jørgen Villadsen, DTU Compute
Associate Professor Alceste Scalas, DTU Compute
Examiners:
Professor Alberto Lluch Lafuente, DTU Compute
Professor Kirstin Barbara Peters, Augsburg University
Associate Professor Dmitriy Traytel, University of Copenhagen
Chair of defence:
Professor Thomas Bolander, DTU Compute
Everyone is welcome!
Reception will be held in building 324, room 240 after the defence.