Welcome to my homepage!
I am Marcel, a research assistant at the department of computer science at FAU Erlangen-Nürnberg and a PhD student under the supervision of Michael Kohlhase.
My research interests include mathematical knowledge management, symbolic natural language processing, computer-supported university 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.