Klaus von Gleissenthall

Klaus von Gleissenthall

Assistent Professor

VU Theoretical Computer Science

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.

Interests
  • programming languages
  • formal verification
  • security