I am a postdoc at the Department of Computer Science at the University of Copenhagen working on the project ‘Efficient Programming Language Development and Evolution through Modularity’. At the moment I am visiting the Functional Programming Laboratory at the University of Nottingham.
- Functional programming
- Type theory
- Rewriting systems, in particular infinitary rewriting
- Formal methods