Formal Methods - for Safe and Secure Systems, group members

Name Building and room Ph. E-mail Title
Ann-Cathrin Dunker Ann-Cathrin DunkerBld. 324, room 253+45 45 25 96 79adun@dtu.dkSecretary
Sébastien Pierre Christophe Gondron Sébastien Pierre Christophe GondronBld. 324, room 180+45 45 25 37 34spcg@dtu.dkPhD student
Andreas Viktor Hess Andreas Viktor HessBld. 324, room 180avhe@dtu.dkPostdoc
Alberto Lluch Lafuente Alberto Lluch LafuenteBld. 324, room 181+45 45 24 37 36albl@dtu.dkHead of Section, Associate Professor
Mike Castro Lundin Mike Castro LundinBld. 324, room 180+45 45 25 96 79mclu@dtu.dkResearch Assistant
Sebastian Alexander Mödersheim Sebastian Alexander MödersheimBld. 324, room 180+45 45 25 37 34samo@dtu.dkAssociate Professor
Bihang Ni Bihang NiBld. 324, room 180+45 60 88 85 20bnia@dtu.dkResearch Assistant
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
Flemming Nielson Flemming NielsonBld. 324, room 182+45 45 25 37 35fnie@dtu.dkProfessor
Anders Schlichtkrull Anders SchlichtkrullBld. 324, room 180andschl@dtu.dkPostdoc
Andrea Vandin Andrea VandinBld. 324, room 180+45 45 25 37 34anvan@dtu.dkAssistant Professor
Panagiotis Vasilikos Panagiotis VasilikosBld. 324, room 180+45 22 78 07 36panva@dtu.dkPhD student