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
Sebastian Alexander Mödersheim Sebastian Alexander MödersheimBld. 324, room 180+45 45 25 35 97samo@dtu.dkAssociate Professor
Ellen Juel Nielsen Ellen Juel NielsenBld. 322, room 126+45 45 25 96 76elju@dtu.dkProject Coordinator
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
Andrea Vandin Andrea VandinBld. 324, room 180+45 45 25 75 09anvan@dtu.dkAssistant Professor
Panagiotis Vasilikos Panagiotis VasilikosBld. 324, room 180+45 52 82 49 04panva@dtu.dkPhD student