I am a Computer Science M.Sc. student ([they/he](http://pronoun.is/they?or=he)) with research interests in*knowledge representation and processing* of formal content
I ([they/he](http://pronoun.is/they?or=he)) am a research assistant at kwarc after having previously obtained my M.Sc. degree at FAU. My primary research interest is*knowledge representation and processing* of formal content
such as foundations, logics, type theories, and math.
My advisors are [Michael Kohlhase](https://kwarc.info/people/mkohlhase/) and [Florian Rabe](https://kwarc.info/people/frabe/)
### Current Work
-**Master's Thesis:** developing a framework of meta-programming operators on formalizations (in theory and [for the MMT system](https://kwarc.info/systems/mmt/)) that allows such operators to be easily specified, verified, and implemented. Operators translate specifications/theories/signatures over a logical framework to new ones.
-**Master's Thesis:**(todo: long submitted, need to update this website) developing a framework of meta-programming operators on formalizations (in theory and [for the MMT system](https://kwarc.info/systems/mmt/)) that allows such operators to be easily specified, verified, and implemented. Operators translate specifications/theories/signatures over a logical framework to new ones.
