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 Center for Software Technology at Utrecht University.
- Functional programming
- Type theory
- Rewriting systems, in particular infinitary rewriting
- Formal methods