Academic Information

photo

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.

Contact

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

Publications

AFP entries

Presentations