That's me

Summary

I am a postdoc at the IT University of Copenhagen working with Rasmus M√łgelberg on type theory and guarded recursion.

Research Areas

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

Activities

Brief Bio

After studying Computer Science and Computational Logic at Dresden University of Technology and Vienna University of Technology, I obtained my PhD under the supervision of Fritz Henglein at the University of Copenhagen. My PhD research was focused on rewriting systems and domain-specific languages and contributed to the 3gERP project. As a postdoc I investigated modularity in programming langauges for compiler implementations and formal reasoning. During this two year project I worked at the University of Copenhagen, the University of Nottingham, and Utrecht University, and I collaborated with the HIPERFIT research center to develop formally verified financial software. Currently, I am a postdoc at the IT University of Copenhagen working with Rasmus M√łgelberg on type theory and guarded recursion.


I'm a
Haskeller