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’. At the moment I am visiting the Center for Software Technology at Utrecht University.

Research Interests

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

Activities