I am a PhD student and research assistant at the department of computer science at FAU Erlangen-Nürnberg under the supervision of Michael Kohlhase.

My research interests include mathematical knowledge management, symbolic natural language processing, computer-supported education and interactive theorem proving.

I studied mathematics at the University of Bonn (B. Sc.) and the Technical University of Darmstadt (M. Sc.) with a focus on mathematical logic and a minor in philosophy.

Moreover, I am involved in the development of the proof assistant Naproche that is characterized by a LATEX-compatible controlled natural input language.