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
Having been doing Ninja Warriors sports myself for two years, I have started coaching children and adults coming to our gym for the first time.
Until now I have worked with pretty different populations, ranging from 10 up to 40 yrs. in age and from 3 up to 20 in group size. Most people I work with, however, are children (post-)celebrating their birthday.
Selection of specializing courses in master and bachelor taken so far:
Formal Methods / Theoretical CS
This course is taught for first-year students of CS and involves basics of propositional logic, elementary logic gates up to multiplexers, multipliers, dividers, algorithmic minimization of circuits, and VHDL to describe hardware.
As a TA, I was responsible to deliver one blackboard exercise lesson per week discussing lecture material and problem sets. On top of that, I voluntarily also
Research on concise specification and implementation of operators on diagrams of formalizations and their meta theory.