(Last page update: may 2024)
Commenting and reviewing the work of other people is an important part of the research activity that I very much enjoy. It is always interesting to learn about others' work, and challenging to have to judge it!
Since 2019 I am also organizing the informal seminar Chameau sur le Plateau on the Saclay Plateau, France.
Since 2019 I am the director of the OCaml Software Foundation, a non-profit organization that receives funding from industrial actors, and uses them to develop the OCaml ecosystem. It's a lot of work!
On the selection jury for a permanent position in the logic team at LIPN, Université Paris Nord. (results not decided yet)
Reviews: LICS.
On the selection jury for a permanent position at École Polytechnique. We hired Ambroise Lafont.
On the selection jury for 3 permanent positions at IRIF, Université Paris Cité. We hired Jérémy Ledent (among others).
Program Committees: ML workshop, OCaml workshop (chair)
Reviews: FSCD.
Artifact Evaluation Committee: ICFP'22 (AEC co-chair).
Program Committees: ICFP'22 (PC member), TyDe'22 and LFMTP'22 workshops.
Artifact Evaluation Committees: POPL'21, ICFP'21 (AEC co-chair).
Program committee: PLMW@POPL'21 workshop (co-chair).
Reviews: CSL, POPL, ESOP, JFLA.
POPL 2019: PC member.
Reviews: ANR (French research funding agency).
On the selection jury for 5 permanent positions at École Polytechnique. We hired Noam Zeilberger (among others).
ML Workshop 2018 (colocated with ICFP): Chair.
Reviews: CSL, MSCS (journal), Prisc workshop.
OCaml & ML workshop 2017 post-proceedings: co-editor.
On the selection comittee of the ICFP Student Research Presentations.
ICFP 2017: PC member.
OCaml Workshop 2017 (colocated with ICFP): Chair.
ML Workshop 2017 (colocated with ICFP): PC member.
ICFP: student volunteer captain.
Reviews: Fossacs, OOPSLA, LICS, MSCS (journal).
OCaml Workshop 2016 (colocated with ICFP): PC member.
Reviews: ICFP, ICTAC, ML workshop proceedings.
ICFP student volunteer captain.
Reviews: POPL, JFLA.
ICFP: student volunteer.
ICFP: student volunteer.
Reviews: ESOP.