Update members

content/members.md

@@ -11,7 +11,6 @@ title: "Members"
 
 # Members
 
-- [Léo Andrès](https://www.zapashcanon.fr/)<div class="desc-box"> compilation, functional programming, symbolic execution, programming languages -- R&D engineer at OCamlPro</div>
 - Victor Benitah<div class="desc-box"> formal systems explorer, co-founder of an electronic firm -- Airline pilot at Air France</div>
 - [Hugo Cadière](https://www.univ-lyon3.fr/m-hugo-cadiere)<div class="desc-box"> Philosophy of mathematics / computer Science / language / mind, German Idealism and XXth century German philosohy -- Université Jean-Moulin Lyon 3</div>
 - [Pierre Cardascia 🎲](https://suboptimal.games/)<div class="desc-box">Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry -- SubOptimal Games (private company)</div>
@@ -24,10 +23,11 @@ title: "Members"
   Semantics, (linear) logic, automata theory, higher-order model-checking, mathematical modeling, probabilistic termination, algebra/categories to model real-world problems - University of Sheffield</div>
 - Jérémy Hervé 🍄<div class="desc-box">Mushrooms, operating systems design -- Independent</div>
 - [Ambroise Lafont](https://amblafont.github.io/)<div class="desc-box">Type Theory and Category Theory -- École Polytechnique (LIX)</div>
-- Luc Pommeret<div class="desc-box">Logic, LLM (Machine learning) -- Université Paris Cité (IRIF)</div>
+- [Luc Pommeret](https://lucpommeret.com/)<div class="desc-box">Logic, LLM (Machine learning) -- Laboratoire Interdisciplinaire des Sciences du Numérique de Paris-Saclay (LISN)</div>
 - Adrien Ragot<div class="desc-box">Proof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic -- Université Sorbonne Paris Nord / University Roma Tre</div>
 - Paul Séjourné<div class="desc-box">Archaic and contemporary philosophy (of mathematics), algebraic geometry, category theory -- Université Paris-Sorbonne</div>
 - [Vincent Moreau](https://www.irif.fr/~moreau/)<div class="desc-box">Category theory, type theory, denotational semantics, topology, algebra, proof assistants -- Université Paris Cité (IRIF)</div>
+- François-René Rideau (Faré)
 - [Tito](https://nguyentito.eu/)<div class="desc-box">Links between linear logic and automata theory, combinatorics, computational complexity, algorithms -- CNRS & Aix-Marseille</div>
 
 # Visitors and guests
@@ -35,5 +35,5 @@ title: "Members"
 Titouan Carette, Clémence Chanavat, Bernardo Marques, Julien Marquet, Rémi
 Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest,
 Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour,
-Bernardo, Anne-Laure, Escherichia, Alexey, François-René Rideau (Faré), Roman
-Perez, Nico, Chirine Laghjichi, Jonty Male, Alexis Toumi, Baptiste Colin.
+Bernardo, Anne-Laure, Escherichia, Alexey, Roman Perez, Nico, Chirine
+Laghjichi, Jonty Male, Alexis Toumi, Baptiste Colin.