diff --git a/content/members.md b/content/members.md
index 2514223..9f54ca1 100644
--- a/content/members.md
+++ b/content/members.md
@@ -6,13 +6,13 @@ title: "Members"
- [Davide Barbarossa](https://davidebarbarossa12.github.io/index.html)Lambda-calculus, type theory, linear logic, category theory, classical realizability, philosophy of mathematics -- Università di Bologna
- [Pablo Donato 🌸](http://www.lix.polytechnique.fr/Labo/Pablo.DONATO/) (administrator)proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming -- Grothendieck Institute
-- [Boris Eng 🦖](https://www.engboris.fr) (administrator, coordinator)Transcendental syntax, proof theory, linear logic -- OCamlPro (private company)
+- [Boris Eng 🦖](https://www.engboris.fr) (administrator, coordinator)Transcendental syntax, proof theory, linear logic -- R&D engineer at OCamlPro
- [Valentin Maestracci](https://vmaestracci.github.io/)Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting -- Université Aix-Marseille
# Members
-- [Léo Andrès](https://www.zapashcanon.fr/)
compilation, functional programming, symbolic execution, programming languages -- OCamlPro (private company)
-- Victor Benitah
+- [Léo Andrès](https://www.zapashcanon.fr/)
compilation, functional programming, symbolic execution, programming languages -- R&D engineer at OCamlPro
+- Victor Benitah
formal systems explorer, co-founder of an electronic firm -- Airline pilot at Air France
- [Hugo Cadière](https://www.univ-lyon3.fr/m-hugo-cadiere)
Philosophy of mathematics / computer Science / language / mind, German Idealism and XXth century German philosohy -- Université Jean-Moulin Lyon 3
- [Pierre Cardascia 🎲](https://suboptimal.games/)
Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry -- SubOptimal Games (private company)
- Baptiste Chanus
Descriptive complexity -- Université Paris 1 Panthéon-Sorbonne