Lambda the Ultimate

PhD student in Computer Science at Saarland University.

Language-based Security
Program Analysis and Verification
Semantics of Programming Languages
Formal Methods in Software Engineering