Since March 2022 I work as a research assistant for the 2LIKE Project. Additionally, I am a PhD student at the Institute of Artificial Intelligence here at Ulm University. I received my bachelor's degree from Leipzig University in the field of computational linguistics and text classification and earned a master's degree in pattern recognition here at the University of Ulm. From applying methods of computer linguistics and statistical modelling to the problem of ontology population, my main interest shifted to the more formal methods of logic, reasoning (i.e. theorem proving) and to the overall formalization of discrete problems in that domain, such as stream reasoning and continuous query answering.
