Formal Methods - for Safe and Secure Systems, group members

Name Building and room Ph. E-mail Title
Rasmus Birkedal Rasmus BirkedalBld. 324, room 160+45 45 25 96 79rabi@dtu.dkPhD student
Ann-Cathrin Dunker Ann-Cathrin DunkerBld. 324, room 253+45 45 25 96 79adun@dtu.dkSecretary
Andreas Viktor Hess Andreas Viktor HessBld. 324, room 180avhe@dtu.dkPhD student
Alberto Lluch Lafuente Alberto Lluch LafuenteBld. 324, room 180+45 45 25 75 09albl@dtu.dkAssociate Professor
Kasper Laursen Kasper LaursenBld. 324, room 180klau@dtu.dkPhD student
Jan Midtgaard Jan MidtgaardBld. 324, room 180+45 45 25 37 26janmi@dtu.dkPostdoc
Sebastian Alexander Mödersheim Sebastian Alexander MödersheimBld. 324, room 160+45 45 25 35 97samo@dtu.dkAssociate Professor
Hanne Riis Nielson Hanne Riis NielsonBld. 324, room 181+45 45 25 37 36hrni@dtu.dkProfessor, head of section
Flemming Nielson Flemming NielsonBld. 324, room 182+45 45 25 37 35fnie@dtu.dkProfessor
Panagiotis Vasilikos Panagiotis VasilikosBld. 324, room 180+45 52 82 49 04panva@dtu.dkPhD student