Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Intersect MBO
IntersectMBO
Intersect is a member-based organization for the Cardano ecosystem — putting the community at the center of Cardano’s development
United States of America
coot
coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
@input-output-hk
Domen Kožar
domenkozar
Instilling sanity into building and distribution of software.
@cachix Lanzarote, Canary Islands
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA