ReFL
/
refl.fr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update Victor

This commit is contained in:
engboris 2025-01-21 21:19:57 +01:00
parent d1eae5dbc3
commit a79e7ab1f4
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
content/members.md
View File

@ -6,13 +6,13 @@ title: "Members"
- [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 -- OCamlPro (private company)</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>
- [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
- [Léo Andrès](https://www.zapashcanon.fr/)<div class="desc-box"> compilation, functional programming, symbolic execution, programming languages -- OCamlPro (private company)</div>
- Victor Benitah
- [Léo Andrès](https://www.zapashcanon.fr/)<div class="desc-box"> compilation, functional programming, symbolic execution, programming languages -- R&D engineer at OCamlPro</div>
- Victor Benitah<div class="desc-box"> formal systems explorer, co-founder of an electronic firm -- Airline pilot at Air France</div>
- [Hugo Cadière](https://www.univ-lyon3.fr/m-hugo-cadiere)<div class="desc-box"> Philosophy of mathematics / computer Science / language / mind, German Idealism and XXth century German philosohy -- Université Jean-Moulin Lyon 3</div>
- [Pierre Cardascia 🎲](https://suboptimal.games/)<div class="desc-box">Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry -- SubOptimal Games (private company)</div>
- Baptiste Chanus<div class="desc-box">Descriptive complexity -- Université Paris 1 Panthéon-Sorbonne</div>