@@ -23,7 +23,7 @@ In 2015 I started studying Computer Science at [FAU Erlangen-Nürnberg](http://w
My master thesis is about the formalization of set theory in [KWARC's MMT system](https://kwarc.info/systems/mmt/). To achieve this goal I use some old formalizations of set theory in Twelf. Since I just started the exact course of my master thesis is still unclarified.
My work as a Hiwi mostly consists of cutting old lecture videos to make online lectures more attractive for students. Also, I give advise and help to come up with good questions for the students.
My work as a Hiwi mostly consists of cutting old lecture videos to make online lectures more attractive for students. Also, I give advice and help to come up with good questions for the students.
