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)<div class="desc-box">Lambda-calculus, type theory, linear logic, category theory, classical realizability, philosophy of mathematics -- Università di Bologna</div>
-- [Pablo Donato 🌸](http://www.lix.polytechnique.fr/Labo/Pablo.DONATO/) (administrator)<div class="desc-box">proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming -- Grothendieck Institute</div>
-- [Boris Eng 🦖](https://www.engboris.fr) (administrator, coordinator)<div class="desc-box">Transcendental syntax, proof theory, linear logic -- R&D engineer at OCamlPro</div>
+- [Pablo Donato 🌸](https://pablogician.refl.fr/) (administrator)<div class="desc-box">proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming -- Grothendieck Institute</div>
+- [Boris Eng 🦖](https://engboris.refl.fr) (administrator, coordinator)<div class="desc-box">Transcendental syntax, proof theory, linear logic -- R&D engineer at OCamlPro</div>
 - [Valentin Maestracci](https://vmaestracci.github.io/)<div class="desc-box">Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting -- Université Aix-Marseille</a>
 
 # Members