About

I am a member of the Research In Software Engineering (RISE) group and chair of the Programming Languages working group (PLX). Currently, I am interested in the design and application of strong type systems and declarative programming languages, like Haskell. In particular, I am interested in programming with Effect inference in the Koka project. Furthermore, I work on domain specific embedded languages, language design, and compiler technology.

I am on the program committee of WPDAI'18, alternate track on "Web Programming, Design, Analysis, and Implementation" of the WWW'18 conference in Lyon (Apr 2018) and PADL'18 conference on Practical Aspects of Declarative Languages in LA (Jan 2018, co-located with POPL); consider submitting a paper!

I am a permanent member of IFIP working group 2.16 on programming language design, and was chair of the Haskell Symposium steering committee till 2009. I was on the program committee of the ICFP 2015 conference, the APLAS 2014 conference, the Haskell Symposium 2012, OOPSLA'11, the 2010 ML workshop, the ICFP 2009 conference, and 2004 Haskell workshop. I was the organizer and program chair of the 2013 ML workshop.

Projects

Publications

Videos