Members

Co-founders

  • Davide Barbarossa — Università di Bologna
    Lambda-calculus, type theory, linear logic, category theory, classical realizability, philosophy of mathematics
  • Pablo Donato 🌸 — Charles University administrator
    Proof theory, type theory, category theory, proof assistants, end-user programming
  • Boris Eng 🦖 — R&D engineer at OCamlPro administratorcoordinator
    Transcendental syntax, proof theory, linear logic
  • Valentin Maestracci — Université Aix-Marseille
    Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting

Members

  • Victor Benitah — Airline pilot at Air France
    Formal systems explorer, co-founder of an electronic firm
  • Hugo Cadière — Université Jean-Moulin Lyon 3
    Philosophy of mathematics / computer science / language / mind, German Idealism and XXth century German philosophy
  • Pierre Cardascia 🎲 — SubOptimal Games
    Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry
  • Baptiste Chanus — Université Paris 1 Panthéon-Sorbonne
    Descriptive complexity
  • Sidney Congard — Centre Inria de Rennes (Gallinette), hébergé à Nantes
    Semantics of programming languages
  • Xavier Denis
    Deductive verification and specification of Rust programs
  • Pierre Benjamin Giraud — Centre Inria de Rennes (Gallinette), hebergé à Nantes
    Multi-dimensional (Logic x Cubes & Rewriting systems x Automata), automata for proofs, philoTechny of mathematics
  • Charles Grellois — University of Sheffield
    Semantics, (linear) logic, automata theory, higher-order model-checking, mathematical modeling, probabilistic termination
  • Jérémy Hervé 🍄 — Independent external communications
    Mushrooms, operating systems design
  • Cécile Janin — Polytech Sorbonne (student)
    Embedded electronic systems, instrumentation, FGPA Linux
  • Ambroise Lafont — École Polytechnique (LIX)
    Type Theory and Category Theory
  • Luc Pommeret — LISN Paris-Saclay
    Logic, LLM (Machine learning)
  • Roman Perez — SPHERE Université Paris Cité
    Philosophy of logic and language
  • Adrien Ragot — Université Sorbonne Paris Nord / University Roma Tre
    Proof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic
  • Paul Séjourné — Université Paris-Sorbonne
    Archaic and contemporary philosophy (of mathematics), algebraic geometry, category theory
  • François-René Rideau (Faré)
  • Eric Patrizio — R&D software engineer
    Frugality of programming languages, degrowth computing