Home

That's me

Summary

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’.

Research Interests

  • Functional programming
  • Type theory
  • Rewriting systems, in particular infinitary rewriting
  • Formal methods

Activities


I'm a
Haskeller