Lektor Sebastian Alexander Mödersheim
DTU
DTU Compute
Toftebæksvej 50
2800 Kongens Lyngby
Danmark
samo @ dtu.dk
52612501
Indledende emner
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Oversættelse
Sikkerhed
Videregående emner
Compiler Construction
Constraint Logic Programming
Cryptology
Internet of Things
Logic Programming
Program Analysis
Programming Language Design
Proof Theory
Security
Semantics
Software Verification
Theory of Computation
Type Theory