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 natural language based interactive theorem prover Naproche.

E-mail: marcel⟨dot⟩schuetz⟨at⟩fau⟨dot⟩de

Matrix: ⟨at⟩fy98ticu⟨colon⟩fau⟨dot⟩de

Office: Martensstraße 3, 91058 Erlangen, Room 11.138 (11th floor)