I completed my Bachelor's in Computer Science with a minor in Philosophy at the Universität des Saarlandes. I wrote my Bachelor's thesis at the Programming Systems Lab.
I am predominantly interested in formal logics, foundations of mathematics, type systems and programming languages.
This website is out of date. My new website can be found here.
| Summer 2019 | Student TA Introduction to Computational Logic Core Course, Programming Systems Lab. |
| Summer 2018 | Student TA Introduction to Computational Logic Core Course, Programming Systems Lab. |
| Winter 2017/2018 | Student TA Programming 1 Basic Course, Reactive Systems Group. |