From c4a2472f6e040d56a3d13780d0244d046c65a54d Mon Sep 17 00:00:00 2001 From: engboris Date: Wed, 3 Dec 2025 22:16:18 +0100 Subject: [PATCH] Update members --- content/members.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/content/members.md b/content/members.md index 012df38..de97bf7 100644 --- a/content/members.md +++ b/content/members.md @@ -11,7 +11,6 @@ title: "Members" # Members -- [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)
@@ -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 - Jérémy Hervé 🍄
Mushrooms, operating systems design -- Independent
- [Ambroise Lafont](https://amblafont.github.io/)
Type Theory and Category Theory -- École Polytechnique (LIX)
-- Luc Pommeret
Logic, LLM (Machine learning) -- Université Paris Cité (IRIF)
+- [Luc Pommeret](https://lucpommeret.com/)
Logic, LLM (Machine learning) -- Laboratoire Interdisciplinaire des Sciences du Numérique de Paris-Saclay (LISN)
- Adrien Ragot
Proof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic -- Université Sorbonne Paris Nord / University Roma Tre
- Paul Séjourné
Archaic and contemporary philosophy (of mathematics), algebraic geometry, category theory -- Université Paris-Sorbonne
- [Vincent Moreau](https://www.irif.fr/~moreau/)
Category theory, type theory, denotational semantics, topology, algebra, proof assistants -- Université Paris Cité (IRIF)
+- François-René Rideau (Faré) - [Tito](https://nguyentito.eu/)
Links between linear logic and automata theory, combinatorics, computational complexity, algorithms -- CNRS & Aix-Marseille
# 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.