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.

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.


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