kehrer ạt cs.uni-saarland.de
Saarland Informatics Campus
E1 3, R. 512
66123 Saarbrücken
Hi, I’m a PhD student here since November 2025. My main reaserach currently covers robust quantum computation. But I’m also very interested in all (quantitative) aspects of verification and logic.
Sometimes I try my luck in “doing” some category theory, but this is still mostly type3-fun at the moment 🙂
If you are interested in writing a thesis, especially in quantum programming language theory and verification, feel free to reach out to me!
Publications
- Kevin Batz, Benjamin Kaminski, Lucas Kehrer, Gerwin Klein, Henning Urbat, and Todd Schmid. The Algebra of Iterative Constructions (arXiv preprint). To be published @Lics 26