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 150+45 45 25 96 79adun@dtu.dkTeam Leader for the Secretary Team
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 25 37 36albl@dtu.dkHead of Section, Associate Professor
Sebastian Alexander Mödersheim Sebastian Alexander MödersheimBld. 324, room 180+45 45 25 37 34samo@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. 322, room 218hrni@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.dkAssociate Professor