Léo Andrès

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