Formal Methods - for Safe and Secure Systems, group members

Name Building and room Ph. E-mail Title
Georgios Argyris Georgios ArgyrisBld. 321, room 020geoar@dtu.dkPhD student
James Hsin-yu Chiang James Hsin-yu ChiangBld. 321, room 020jchi@dtu.dkPhD student
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.dkAssistant 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. 322, room 126+45 45 25 96 76elju@dtu.dkProject Coordinator
Flemming Nielson Flemming NielsonBld. 321, room 016+45 45 25 37 35fnie@dtu.dkProfessor