I am an associate professor at the IT University of Copenhagen and head of the Software Design MSc programme.
My research interests are in developing programming languages and tools that facilitate building high-assurance software. Below is a list of research areas I work in:
Recent Publications & Manuscripts
- The Calculated TyperSubmitted for peer review, February 2025
- Partial Compiler Calculation with Skew BisimilaritySubmitted for peer review, February 2025
- Functional Reactive GUI Programming with Modal TypesTFP 2025, to appear
- Calculating compilers effectively (Functional Pearl)HASKELL 2024
- Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)PACMPL (ICFP), 2024
Brief Bio
Before joining the IT University of Copenhagen in 2015, I was a postdoc at the University of Copenhagen with visiting research positions at the University of Nottingham and Utrecht University.
I received a PhD in Computer Science from the University of Copenhagen in 2012, an MSc in Computational Logic from the Dresden University of Technology and the Vienna University of Technology in 2009, and a BSc in Computer Science from the Dresden University of Technology in 2008.