Defence by PhD student Frederik Krogsdal Jacobsen

Defence by PhD student Frederik Krogsdal Jacobsen

When

11. okt 13:00 - 16:00

Where

DTU Lyngby building 324, room 240

Host

DTU Compute

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.