Activities

OCaml community

• 2026-…: member of the OCaml Standard Library Team
• 2025-…: member of the Nix and NixOS OCaml Team
• 2024-…: creator and co-administrator of the OCaml Zulip server, now widely used by the community
• 2021-…: co-organizer of the OUPS (OCaml Paris meetup), see the announces on discuss and meetup

Research

• subreviewer for the OCaml Users and Developers Workshop at ICFP 2024
• member of the program committee and jury for Test-Comp 2024
• subreviewer for NASA Formal Methods (NFM) 2022