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
- Calculating compilers effectively (Functional Pearl)HASKELL 2024
- Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)PACMPL (ICFP), 2024
- Partial Compiler Calculation with Skew BisimilaritySubmitted for peer review, July 2024
- Asynchronous Reactive Programming with Modal Types in HaskellPADL 2024
- Calculating Compilers for ConcurrencyPACMPL (ICFP), 2023
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.
Service
- NWPT 2024 programme committee
- HOPE 2024 programme committee
- ICFP 2024 programme committee
- TYPES 2024 programme co-chair & organising committee
- PADL 2024 programme committee
- IWC 2023 programme committee
- FSCD 2023 programme committee
- TERMGRAPH 2022 programme committee
- REBLS 2021 programme committee
- REBLS 2020 programme committee
- TERMGRAPH 2020 programme chair
- PEPM 2020 programme committee
- REBLS 2019 programme committee
- MPC 2019 programme committee
- Haskell 2018 programme committee
- WGP 2015 programme co-chair
- MeMo 2015 programme committee
- MeMo 2014 programme committee
- TERMGRAPH 2013 programme committee
- WIR 2013 programme committee