I am a research assistant and doctoral student at Freie Universität Berlin in the artificial intelligence group.
Currently I am working mainly on the Leo-III project. Our goal is to develop a new Higher-Order Theorem Prover based on heavily use of parallelism. I investigate and evaluate whether an agent-based approach can be beneficial to theorem proving on various levels of the proof process.
In my free time I lend my voice to the bass of the Schola Vocalis Ave Florum Flos.