Editorship

Member of the editorial board of the Research Highlights column of Communications of the ACM.

Member of the editorial board of Journal of Automated Reasoning.

Member of the editorial board of Journal of Functional Programming.

Member of the editorial board of Journal of Formalized Reasoning.

Program committees

  1. European Symposium on Programming (ESOP) 2013
  2. Principles of Programming Languages (POPL) 2013
  3. International conference on Compiler Construction (CC) 2011
  4. Practical Aspects of Declarative Languages (PADL) 2011
  5. Verified Software: Theories, Tools and Experiments (VSTTE) 2010
  6. Interactive Theorem Proving (ITP) 2010
  7. Programming Language Design and Implementation (PLDI) 2010 (member of the external review committee)
  8. Programming Languages meets Program Verification (PLPV) 2010
  9. International Conference on Functional Programming (ICFP) 2009
  10. Theorem Proving in Higher-Order Logics (TPHOL) 2009
  11. European Symposium on Programming (ESOP) 2009
  12. Commercial Users of Functional Programming (CUFP) 2007
  13. European Symposium on Programming (ESOP) 2007
  14. Asian Computing Science Conference 2006
  15. Formal Methods 2006
  16. ML Workshop 2005 (co-program chairman)
  17. MetaOCaml Workshop 2005
  18. Virtual Execution Environments conference (VEE) 2005
  19. European Symposium on Programming (ESOP) 2005
  20. Smart Card Research and Advanced Application Conference (CARDIS) 2004
  21. Principles of Programming Languages 2004 (program chairman)
  22. Foundations of Object-Oriented Languages 2003
  23. Types in Language Design and Implementation 2003
  24. Journées Francophones des Langages Applicatifs 2003
  25. Smart Card Research and Advanced Application Conference (CARDIS) 2002
  26. Principles of Programming Languages 2002
  27. International Conference on Functional Programming 2001 (program chairman)
  28. Compiler Construction 2001
  29. International Conference on Functional Programming 2000
  30. Programming Languages Design and Implementation 2000
  31. European Symposium on Programming 2000
  32. Principles and Practice of Declarative Programming 1999
  33. Programming Language Implementation and Logic Programming 1998
  34. Workshop Types in Compilation 1998 (program chairman)
  35. Principles of Programming Languages 1998
  36. Workshop Types in Compilation 1997
  37. International Conference on Functional Programming 1997
  38. Functional Programming and Computer Architecture 1995
  39. Static Analysis Symposium 1994