Much of my research centers around functional programming languages, their semantics and applications. One area of particular interest to me currently is bidirectional transformations. I have a DFG-funded project for work on this topic.

One source of theoretical results I like to apply is parametricity (free theorems) for polymorphically typed languages. I had a two-phase DFG project on these topics as well.

More on Projects: