Academic Information


Currently, I am a PhD student at the Chair for Logic and Verification supervised by Prof. Nipkow. My interest is the formalisation and automation of mathematics using interactive theorem provers like Isabelle. Special interests lie in the verification of cryptography, especially post-quantum lattice-based cryptography (eg. CRYSTALS-Kyber) and hardness results of underlying problems.

Before starting as a doctoral candidate, I did both my Masters and Bachelors degree in Mathematics at TUM. During my studies, I spent a semester abroad in Kyoto, Japan, and Exeter, UK.

Furthermore, I have working experience in engeneering of sensors and measurement systems at Micro-Epsilon and in software developement at Atix AG.

From 2021 to 2024, I have been part of the ConVeY DFG Research Training Group.


E-mail {k.kreuzer} AT []
Office MI 00.09.064
Address Katharina Kreuzer
Boltzmannstr. 3
85748 Garching


AFP entries