I am a Computer Science M.Sc. student with research interests in *knowledge representation and processing* of formal content
I am a Computer Science M.Sc. student ([they/them,he/him](http://pronoun.is/they?or=he)) with research interests in *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/)
