PhD Defence Panagiotis Vasilikos

Timed Automata for Security of Real-Time Systems

PhD defence by Panagiotis Vasilikos, Tuesday 26 November 2019 at 13:00, DTU Lyngby, Building 324, Room 240



Principal supervisor: Professor Hanne Riis Nielson, DTU Compute

Co supervisor: Professor Flemming Nielson, DTU Compute



Associate Professor Michael R. Hansen, DTU Compute

Professor Luca Viganò, Kings College London

Professor Luca Aceto, Reykjavik University/Gran Sasso Science Institue, L’Aquila


Chairperson at defence

Associate Professor Alberto Lluch Lafuente, DTU Compute



Tue 26 Nov 19
13:00 - 17:00


DTU Compute


The Technical University of Denmark

Richard Petersens Plads

2800 Kgs. Lyngby

Building 324, Room 240