Master Thesis – Solving Mixed-Integer Problems using Machine Learning for the Optimization of Energy Production, Supervisor: Prof. Dr. Alexander Martin
Master Project – Declarations in Mathematical Documents, Supervisor: Prof. Dr. Michael Kohlhase
Bachelor Thesis – Elimination of Nominals in Coalgebraic Description Logics, Supervisor: Prof. Dr. Lutz Schröder
Scholarships and Awards
MIP Workshop – Honorable Mention Poster Award (2023)
ICPC – Participation Northwestern European Regional Contest, Eindhoven, NL (2018)
ICPC – 2nd place German Collegiate Programming Contest, Erlangen (2018)