From ce940a45ddcc90bdb1fe1e50e81d8ae8e3d2d21b Mon Sep 17 00:00:00 2001 From: engboris Date: Mon, 18 Nov 2024 22:07:18 +0100 Subject: [PATCH] Update members --- content/members.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/members.md b/content/members.md index b86fec2..f11b594 100644 --- a/content/members.md +++ b/content/members.md @@ -4,8 +4,8 @@ title: "Members" # Co-founders -- [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)
Sequent calculus, deep inference, type theory, Peirce's existential graphs, focalization, proof search -- Ecole Polytechnique (LIX)
+- [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, computer science -- OCamlPro (private company)
- [Valentin Maestracci](https://vmaestracci.github.io/)
Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting -- Université Aix-Marseille