Portrait of Daan Leijen

Daan Leijen

Principal Researcher


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 ICFP’19, the International Conference of Functional Programming in Berlin (Aug 2019); 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 WPDAI'18 (as part of the WWW'18 conference) in Lyon (Apr 2018), the PADL'18 conference on Practical Aspects of Declarative Languages in LA (Jan 2018, co-located with POPL), 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.