Léo Andrès
About
Activities
Publications
Software
Students
Talks
Teaching
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