Research
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:
- As mentioned above, I led a DFG-funded project on free theorems (funding summing up to 45 person months at research position level plus travel money; in monetary terms: >215k Euro total).
- Also, I currently lead another DFG-funded project on bidirectional transformations (funding summing up to 36 person months at research position level plus travel money; in monetary terms: >235k Euro total).
- A joint DAAD-PROCOPE project (sponsoring mutual visits) with Lutz Straßburger and other partners at INRIA Saclay in France runs throughout 2012 and 2013.
- I held a SICSA Distinguished Visiting Fellowship (sponsoring visits to the group Mathematically Structured Programming at University of Strathclyde, Glasgow, and the Laboratory for Foundations of Computer Science at University of Edinburgh) from 2009 to 2011. The hosts were Patricia Johann and Alex Simpson.
- I ran a joint DAAD-FCT project (sponsoring mutual visits) with Portuguese partners Joao Saraiva and Joao Paulo Fernandes, both at the University of Minho, throughout 2010.
- I spent a month with the group of Zhenjiang Hu under a Short-Term JSPS Postdoctoral Fellowship in February/March 2010.