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

Brief Bio

After studying Computer Science and Computational Logic at Dresden University of Technology and Vienna University of Technology, I did 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. I then worked as a postdoc on a research project seeking to exploit modularity in programming langauges for compiler implementations and formal reasoning. During this 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.

Research Areas

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

Activities


I'm a
Haskeller