I currently pursue my M. Sc. degree in computer science. My primary interests are in formal methods for representing, refactoring, and transforming mathematical knowledge (mathematical knowledge management) as well as increasingly in research in software engineering. Concretely, under advisory of Michael Kohlhase and Florian Rabe at the kwarc research group, I am currently working on structure-preserving diagram operators.
Overall in my studies, I have been specializing in the topics mentioned above, but also in cryptography and cryptocurrencies. My minor is in math where so far I have taken topology, functional analysis and complex analysis.
Apart from academic work, I like to do sports, in particular Calisthenics to gain strength for Ninja Warriors obstacles. Fortunately, there is a dedicated gym for that in the town I live, where I also coach children and adults coming there for the first time.
B. Sc. in Computer Science, 2019