Scholar
Klaus v. Gleissenthall
Google Scholar ID: Lc4IbnsAAAAJ
Assistant Professor, Vrije Universiteit Amsterdam
Citations & Impact
Citations
522
H-index
10
i10-index
10
Publications
20
Co-authors
0
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- - Awarded ERC Starting Grant (1.5 Mio €) for research on building side-channel free systems
- - Multiple papers accepted at top conferences such as OOPSLA'24, CCS'23, and received honorable mentions and distinguished paper awards
- - Notable papers include 'Refinement Type Refutations' and 'Verifying Leakage Contracts for Hardware'
Research Experience
- - Member of the theory group and VUSec at Vrije Universiteit Amsterdam
- - Affiliated with the Computer Security group at CWI
- - Post-doc in the Programming Systems group at UCSD, working with Ranjit Jhala and Deian Stefan
- - Currently supervising several PhD students and post-docs
Education
- - PhD: Technical University of Munich (TUM), Advisor: Andrey Rybalchenko
- - MSc: Technical University of Munich (TUM), Minor in Logic and Philosophy of Science, LMU
- - BSc: Technical University of Munich (TUM)
- - Internship and visitor at Microsoft Research Cambridge
Background
- Tenured Assistant Professor in Computer Science at Vrije Universiteit Amsterdam. Research interests span programming languages, security, and systems. Focuses on helping practitioners write correct, secure, and reliable systems with minimal user effort.
Miscellany
- Looking for students at all levels, including PhDs and post-docs. Interested candidates can reach out via email.
Co-authors