About me
I completed my PhD in Computer Science at Kiel University and now work as a software engineer. My Research Group was "Programming Languages and Compiler Construction", where I had been working with Prof. Dr. Michael Hanus. You can find some public projects on my GitHub profile.
Interests & Projects
I am interested in functional programming and compiler tooling. My research focuses on the Curry programming language, specifically developing language features and compiler improvements for Curry. I'm also interested in the Glasgow Haskell Compiler (GHC) and its extension mechanisms. Beyond this focus, I have also worked on projects such as:
- I developed the backend for a multiplayer web implementation of Cartographers.
- I built a Rust implementation of an integer linear programming solver algorithm.
- I also explored SIMD programming in C and CUDA through smaller experiments.
ORCID: 0000-0002-5795-6308
Publications
Education
- Nov 2020 – Sep 2026: PhD (Computer Science), Kiel University - Grade: magna cum laude
- Oct 2018 – Oct 2020: Master of Science (Computer Science), Kiel University - Grade: 1.0
- Oct 2015 – Oct 2018: Bachelor of Science (Computer Science), Kiel University - Grade: 1.3
Employment
- 2025–2026: PhD student at the data science group under Prof. Renz
- 2020–2025: PhD student at the research group of Prof. Hanus
- 2017–2020: Student researcher and teacher at the research group of Prof. Hanus
- 2015–2017: Software Challenge Germany @ Kiel University
Teaching
- WS25/26: Declarative programming (in german)
- SS25: Introduction to Algorithms (in german)
- WS24/25: Declarative programming (in german)
- SS24: Introduction to Algorithms (in german)
- SS24: Declarative programming languages (in german)
- WS23/24: Declarative programming (in german)
- SS23: Introduction to Algorithms (in german)
- WS22/23: Declarative programming (in german)
- WS22/23: Declarative programming languages (in german)
- WS22/23: Seminar on Programming Languages (in german)
- WS21/22: Advanced Programming (in german)
- SS21: Functional Programming
- WS20/21: Advanced Programming (in german)
- WS20/21: Concurrent and distributed programming
- WS19/20: Functional Programming
- WS18/19: Advanced Programming (in german)
Miscellaneous Experience
Awards and Achievements
- Nov 2025: Cloudflight coding contest — 2nd Place (regional)
- Apr 2024: Cloudflight coding contest — 2nd Place (regional)
- Nov 2020: Best M.Sc Student of the Year, Kiel University.
- Aug 2020: Student Research Competition, 3rd Place at ICFP.
Board Member
- 2025–2026: Quality Assurance Committee, Kiel University.
- 2024–2026: Examination Board Computer Science, Kiel University.
Organized Workshops
- 2025–2026: Girls Code @CAU — Co-Organizer and Mentor for schoolgirls learning to program with Scratch and Hedy at Kiel University.
- 2025–2026: Jugend forscht — Co-Organizer regional contest (Schleswig-Holstein) at Kiel University.
- 2024–2026: Head of monthly group — Advocating for improvements to the computer science department at Kiel University.