For information about the process of writing your thesis, see here or here.

For topics I am interested in advising, you can start here.

For my experience with and opinion on teaching, read on below.

Since the winter term 2015/16, I have been involved in teaching at HHU.

The courses below are those I have taught as the sole responsible person. Most of them, I have established or significantly re-structured them at HHU.

• Functional Programming (Master course by Jens Bendisposto, split into the two courses below)
• Introduction to Functional Programming (Bachelor course)
• Advanced Functional Programming (Master course)
• Seminar: Blockchain (Master seminar, following the Bitcoin Book)
• Model Checking (Master course, following Principles of Model Checking by Christel Baier and Joost-Pieter Katoen)

I have supported my supervisor Michael Leuschel, typically with tutorials and organisational efforts, during courses on:

• Advanced Logic Programming (Master's Course)
• Theoretical Computer Science (Bachelor's Course, mandatory)

I have completed the didactics certificate "Professionelle Lehrkompetenz für die Hochschule" at HHU with following courses:

• Lehren und Lernen (mandatory)
• Konzipieren von Lehrveranstaltungen
• Präsentieren – souverän und lerngerecht
• Lehren, Lernen und Prüfen aufeinander beziehen
• Studien- und Abschlussarbeiten betreuen - lerngerecht und alltagstauglich
• Effektive Kommunikation mit Studierenden
• Leistungsfeedback als Lernberatung
• Na, wie war ich? - Feedback- und Evaluationsinstrumente für die Lehre

I have also been nominated for the teaching award at HHU in the years 2021 and 2023. I have won the teaching award in 2023 in the category for junior scientists ("Nachwuchswissenschaftler").