From beb2948f3bd6b4030cd3fb86b2737d842c6b9bca Mon Sep 17 00:00:00 2001
From: engboris <engboris@hotmail.fr>
Date: Sun, 3 Nov 2024 16:05:39 +0100
Subject: [PATCH] Change Tito's affiliation

---
 content/members.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/members.md b/content/members.md
index 97524cd..b86fec2 100644
--- a/content/members.md
+++ b/content/members.md
@@ -22,7 +22,7 @@ title: "Members"
 - 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>
-- [Tito](https://nguyentito.eu/)<div class="desc-box">Links between linear logic and automata theory, combinatorics, computational complexity, algorithms -- École normale supérieure de Lyon</div>
+- [Tito](https://nguyentito.eu/)<div class="desc-box">Links between linear logic and automata theory, combinatorics, computational complexity, algorithms -- CNRS & Aix-Marseille</div>
 - [Xavier Denis](https://xav.io/)<div class="desc-box">Deductive verification and specification of Rust programs -- ETH Zurich</div>
 
 # Visitors and guests