Members

Co-founders #

• Davide Barbarossa
  Lambda-calculus, type theory, linear logic, category theory, classical realizability, philosophy of mathematics – Università di Bologna
• Pablo Donato 🌸 (administrator)
  proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming – Grothendieck Institute
• Boris Eng 🦖 (administrator, coordinator)
  Transcendental syntax, computer science – OCamlPro (private company)
• Valentin Maestracci
  Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting – Université Aix-Marseille

Members #

• Pierre Cardascia 🎲
  Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry – SubOptimal Games (private company)
• Baptiste Chanus
  Descriptive complexity – Université Paris 1 Panthéon-Sorbonne
• Kostia Chardonnet
  Computer science, quantum computation, cyclic proofs – Centre Inria de l’Université de Lorraine (MOCQUA)
• Sidney Congard
  Semantics of programming languages – Centre Inria de l’Université de Rennes (Galinette)
• Charles Grellois
  University of Sheffield
• Jérémy Hervé 🍄
  Mushrooms, operating systems design – Independent
• Ambroise Lafont
  Type Theory and Category Theory – École Polytechnique (LIX)
• Luc Pommeret
  Logic, LLM (Machine learning) – Université Paris Cité (IRIF)
• Adrien Ragot
  Proof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic – Université Sorbonne Paris Nord / University Roma Tre
• Paul Séjourné
  Archaic and contemporary philosophy (of mathematics), algebraic geometry, category theory – Université Paris-Sorbonne
• Vincent Moreau
  Category theory, type theory, denotational semantics, topology, algebra, proof assistants – Université Paris Cité (IRIF)
• Tito
  Links between linear logic and automata theory, combinatorics, computational complexity, algorithms – CNRS & Aix-Marseille
• Xavier Denis
  Deductive verification and specification of Rust programs – ETH Zurich

Visitors and guests #

Hugo Cadière, Titouan Carette, Clémence Chanavat, Bernardo Marques, Julien Marquet, Rémi Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest, Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour, Bernardo, Anne-Laure, Escherichia, Alexey, François-René Rideau (Faré), Roman Perez, Nico.