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").
| Semester | Course | Type | My Involvement / Implementation |
|---|---|---|---|
| SS 2023 | Vertiefung Funktionale Programmierung: Clojure | Master | Lecture & Tutorial, Seminar |
| SS 2023 | Theoretische Informatik | Bachelor | Tutorials & Organisation |
| WS 2022/23 | Einführung in die Funktionale Programmierung | Bachelor | Lecture & Tutorial, Inverted Classroom, hybrid |
| SS 2022 | Vertiefung Funktionale Programmierung: Clojure | Master | Lecture & Tutorial, Seminar |
| WS 2021/22 | Einführung in die Funktionale Programmierung | Bachelor | Lecture & Tutorial, Inverted Classroom, hybrid |
| SS 2021 | Vertiefung Funktionale Programmierung: Clojure | Master | Seminar, online |
| WS 2020/21 | Funktionale Programmierung | Master | Lecture & Tutorial, Inverted Classroom, online |
| SS 2020 | Model Checking | Master | Lecture & Tutorial, Inverted Classroom, online |
| WS 2019/20 | Funktionale Programmierung | Master | Tutorial |
| SS 2019 | Vertiefung Logische Programmierung | Master | Tutorial |
| SS 2019 | Blockchain | Master | Seminar |
| WS 2018/19 | Funktionale Programmierung | Master | Lecture & Tutorial |
| SS 2018 | Model Checking | Master | Lecture & Tutorial |
| WS 2017/18 | Funktionale Programmierung | Master | Lecture & Tutorial |
| SS 2017 | Theoretische Informatik | Bachelor | Tutorials & Organisation |
| WS 2016/17 | Funktionale Programmierung | Master | Tutorial |
| WS 2015/16 | Funktionale Programmierung | Master | Tutorial |