From 79cae99b43abd5ce480301b1eb6aebe4175f1bf8 Mon Sep 17 00:00:00 2001 From: engboris Date: Sun, 6 Apr 2025 14:27:28 +0200 Subject: [PATCH] Update website of members --- content/members.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/members.md b/content/members.md index 63e53b6..012df38 100644 --- a/content/members.md +++ b/content/members.md @@ -5,8 +5,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)
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 -- R&D engineer at OCamlPro
+- [Pablo Donato 🌸](https://pablogician.refl.fr/) (administrator)
proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming -- Grothendieck Institute
+- [Boris Eng 🦖](https://engboris.refl.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