I am interested in programming languages theory and practice, correct and efficient compilers for domain-specific languages using functional programming. My research is focussed on applying these things to various domains such as differential & probabilistic, or multitier programming.

Stuff I find cool:

  • Lean4

    • Intrinsically Correct Programs
    • Dependent Types
    • Curry-Howard
    • Interactive Theorem Proving

  • Functional Compilers

    • Monomorphization
    • Common Subexpression Elimination
    • Defunctionalization
    • Compiling Functional Programs (to C)
    • Typed Partial Evaluation
    • Administrative Normal Form

  • Mathematical Structures for Programming

    • Monads, Do Notation, Algebraic Effect Handlers
    • Containers, Lenses

  • Syntax and Semantics

    • Operational
    • Denotational
    • Definitional Interpreters
    • Normalization by Evaluation
    • Intrinsic-Typing

  • Applications

    • Probabilistic Programming
    • Reversible Programming
    • Choreographic Programming
    • Array Programming

  • 50% of all things published at SIGPLAN conference :)

Let me know if you want to do a thesis!

Short Biography

whenwhat
since 2025Postdoc, Software Technology, TU Darmstadt
2019 - 2025PhD, Software Technology, TU Darmstadt
2017 - 2019MSc, Computer Science, TU Darmstadt
2014 - 2017BSc, Computer Science, TU Darmstadt