Associate Professor Sebastian Alexander Mödersheim
DTU
DTU Compute
Toftebæksvej 50, 1tv
2800 Lyngby
Danmark
samo @ dtu.dk
45253591
Indledende emner
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Oversættelse
Programmeringssprog
Sikkerhed
Videregående emner
Compiler Construction
Functional Programming
Internet of Things
Program Analysis
Security
Semantics