Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
iciamyplant
Student at 42 Paris and Master Information Systems, Network Industry, Internet Economy, Dauphine University
Louise Leclerc
luyise
PhD student at Polytechnique, Paris.
I am working on Homotopy Type Theory
IP Paris Palaiseau
Dominic Verity
dom-verity
Category Theorist and programmer by day, bad drummer by night.
Macquarie University North Ryde, Sydney, NSW 2109, Australia
Paolo Capriotti
pcapriotti
Senior Haskell Developer at Wire.
Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.
Wire Fermo, Italy
Emilio Jesús Gallego Arias
ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
Lean FRO Paris
Tobias Heindel
heindel
Yet another computer scientist?
⑆keybase.io/heindel
Heliax GmbH @heliaxdev Berlin, Germany
Enrico Tassi
gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter
@coq @math-comp @LPCIC Inria Sophia-Antipolis
Cosynus
cosynus-lix
Concurrent and numerical systems team @ LIX lab of École Polytechnique.
École Polytechnique
Ulrik Buchholtz
UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham.
❤️ Homotopy Type Theory/Univalent Mathematics
University of Nottingham
PreviousNext