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
- Beyond Trees: Calculating Graph-Based CompilersSubmitted for peer review
- Asynchronous Reactive Programming with Modal Types in HaskellPADL 2024
- Calculating Compilers for ConcurrencyPACMPL (ICFP), 2023
- Asynchronous Modal FRPPACMPL (ICFP), 2023
- Modal FRP for all: Functional reactive programming without space leaks in HaskellJ. Funct. Programming, 2022
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
- HOPE 2024 PC member
- ICFP 2024 PC member
- TYPES 2024 PC co-chair
- PADL 2024 PC member
- IWC 2023 PC member
- FSCD 2023 PC member
- TERMGRAPH 2022 PC member
- REBLS 2021 PC member
- REBLS 2020 PC member
- TERMGRAPH 2020 PC chair
- PEPM 2020 PC member
- REBLS 2019 PC member
- MPC 2019 PC member
- Haskell 2018 PC member
- WGP 2015 PC co-chair
- MeMo 2015 PC member
- MeMo 2014 PC member
- TERMGRAPH 2013 PC member
- WIR 2013 PC member