Klaus von Gleissenthall
Interests: programming languages, formal verification, security
I work on methods that help practitioners write correct, secure and reliable systems, where I focus on keeping user effort low. My research interests span programming languages, security and systems.