Katharina Kreuzer

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 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.

Contact