Editorship

1. Member of the editorial board of Journal of Automated Reasoning.
2. Former member (2021-2024) of the editorial board of TheoretiCS.
3. Former area editor for programming languages (2015-2023) of Journal of the ACM.
4. Former member (2013-2017) of the editorial board of the Research Highlights column of Communications of the ACM.
5. Former co-editor in chief (2007-2012) of Journal of Functional Programming.

Program committees

1. International Conference on Functional Programming (ICFP 2026)
2. Principles of Programming Languages (POPL) 2025 (associate program chair)
3. Principles of Programming Languages (POPL) 2023
4. Coq for Programming Languages (CoqPL) 2022
5. Compiler Construction 2021
6. Principles of Secure Compilation (PriSC) 2021
7. Foundations of Software Science and Computation Structures (FOSSACS) 2020
8. European Symposium on Programming (ESOP) 2018
9. Principles of Programming Languages (POPL) 2018
10. Principles of Programming Languages (POPL) 2017 (ERC)
11. Interactive Theorem Proving 2016
12. Compiler Construction 2016
13. Certified Programs and Proofs (CPP) 2015 (co-program chair)
14. Principles of Programming Languages (POPL) 2015 (ERC)
15. European Symposium on Programming (ESOP) 2013
16. Principles of Programming Languages (POPL) 2013
17. International conference on Compiler Construction (CC) 2011
18. Practical Aspects of Declarative Languages (PADL) 2011
19. Verified Software: Theories, Tools and Experiments (VSTTE) 2010
20. Interactive Theorem Proving (ITP) 2010
21. Programming Language Design and Implementation (PLDI) 2010 (ERC)
22. Programming Languages meets Program Verification (PLPV) 2010
23. International Conference on Functional Programming (ICFP) 2009
24. Theorem Proving in Higher-Order Logics (TPHOLs) 2009
25. European Symposium on Programming (ESOP) 2009
26. Commercial Users of Functional Programming (CUFP) 2007
27. European Symposium on Programming (ESOP) 2007
28. Asian Computing Science Conference 2006
29. Formal Methods 2006
30. ML Workshop 2005 (co-program chair)
31. MetaOCaml Workshop 2005
32. Virtual Execution Environments conference (VEE) 2005
33. European Symposium on Programming (ESOP) 2005
34. Smart Card Research and Advanced Application Conference (CARDIS) 2004
35. Principles of Programming Languages (POPL) 2004 (program chair)
36. Foundations of Object-Oriented Languages (FOOL) 2003
37. Types in Language Design and Implementation (TLDI) 2003
38. Journées Francophones des Langages Applicatifs (JFLA) 2003
39. Smart Card Research and Advanced Application Conference (CARDIS) 2002
40. Principles of Programming Languages (POPL) 2002
41. International Conference on Functional Programming (ICFP) 2001 (program chair)
42. Compiler Construction (CC) 2001
43. International Conference on Functional Programming (ICFP) 2000
44. Programming Languages Design and Implementation (PLDI) 2000
45. European Symposium on Programming (ESOP) 2000
46. Principles and Practice of Declarative Programming (PPDP) 1999
47. Programming Language Implementation and Logic Programming (PLILP) 1998
48. Workshop Types in Compilation (TIC) 1998 (program chair)
49. Principles of Programming Languages (POPL) 1998
50. Workshop Types in Compilation (TIC) 1997
51. International Conference on Functional Programming (ICFP) 1997
52. Functional Programming and Computer Architecture (FPCA) 1995
53. Static Analysis Symposium (SAS) 1994