I am a postdoc at the Department of Computer Science at the University of Copenhagen. Starting in May 2013 I will work on the project ‘Efficient Programming Language Development and Evolution through Modularity’.
- Functional programming
- Type theory
- Rewriting systems, in particular infinitary rewriting
- Formal methods