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

 

Supervisors

Principal supervisor: Professor Hanne Riis Nielson, DTU Compute

Co supervisor: Professor Flemming Nielson, DTU Compute

 

Examiners

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

 

Tidspunkt

tir 26 nov 19
13:00 - 17:00

Arrangør

DTU Compute

Kontaktperson

Hvor

The Technical University of Denmark

Richard Petersens Plads

2800 Kgs. Lyngby

Building 324, Room 240