Affiliations & Employments

2025	–	today	FAUstairs Project, FAU Erlangen-Nürnberg.
2023	–	today	KWARC Research Group, FAU Erlangen-Nürnberg.
2020	–	today	Naproche Project, University of Bonn.
2023	–	2025	VoLL-KI Project, FAU Erlangen-Nürnberg.

Education

2023	–	today	Ph. D. Candidate (Computer Science), FAU Erlangen-Nürnberg.
2020	–	2022	M. Sc. Mathematics, Technical University of Darmstadt.
2016	–	2020	B. Sc. Mathematics, University of Bonn.

Teaching

2025	KRMT Project, FAU Erlangen-Nürnberg.

Supervised Students

2024	J. Kelber, Flexiformal Definition Expansion and Parsing Mathematical Natural Language, Bachelor's Thesis, FAU Erlangen-Nürnberg.

Event Organization

2025	Workshop on Natural Formal Mathematics (NatFom 2025); Brasília, Brazil. Colloquium on Knowledge-Driven Methods in Science; Erlangen, Germany.

Conference & Workshop Participation

2025	18th Conference on Intelligent Computer Mathematics (CICM 2025); Brasília, Brazil. Workshop on Natural Formal Mathematics (NatFom 2025); Brasília, Brazil. EuroProofNet School on Natural Formal Mathematics; Bonn, Germany.
2024	17th Conference on Intelligent Computer Mathematics (CICM 2024); Montréal, Québec, Canada. Prospects of Formal Mathematics – Workshop on Libraries of Digital Math; Bonn, Germany.
2023	16th Conference on Intelligent Computer Mathematics (CICM 2023); Cambridge, UK. Workshop on Natural Formal Mathematics (NatFom 2023); Cambridge, UK.
2022	15th Conference on Intelligent Computer Mathematics (CICM 2022); online
2021	14th Conference on Intelligent Computer Mathematics (CICM 2021); online. Formalize!(?); online.

Reviewing

2025	18th Conference on Intelligent Computer Mathematics (CICM 2025); subreviewer. 30th International Conference on Automated Deduction (CADE 2025); subreviewer.
2024	International Joint Conference on Automated Reasoning (IJCAR 2024); subreviewer. 17th Conference on Intelligent Computer Mathematics (CICM 2024); subreviewer.

Miscellaneous

Erdős Number

4