Formal Methods - for Safe and Secure Systems, group members

Name Building and room Ph. E-mail Title
Laouen Pablo Killian Fernet Laouen Pablo Killian FernetBld. 321, room 020lpkf@dtu.dkPhD student
Christian Gram Kalhauge Christian Gram KalhaugeBld. 321, room 032chrg@dtu.dkAssistant Professor (Tenure track)
Alberto Lluch Lafuente Alberto Lluch LafuenteBld. 321, room 012+45 45 25 37 36albl@dtu.dkHead of Section, Professor
Hugo-Andrés López-Acosta Hugo-Andrés López-AcostaBld. 321, room 015hulo@dtu.dkAssociate Professor
Christoph Matheja Christoph MathejaBld. 321, room 009chmat@dtu.dkAssociate Professor
Sebastian Alexander Mödersheim Sebastian Alexander MödersheimBld. 321, room 018+45 45 25 35 91samo@dtu.dkAssociate Professor
Ellen Juel Nielsen Ellen Juel NielsenBld. 324, room 140+45 93 51 07 96elju@dtu.dkProject Coordinator
Alceste Scalas Alceste ScalasBld. 321, room 010+45 45 25 37 59alcsc@dtu.dkAssociate Professor