Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
Inria Saclay Saclay
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
lyj
lengyijun
Premier League Map:
https://ggdg.gitee.io/map_of_the_premier_league/
SJTU China Shanghai
Sandra Dylus
ichistmeinname
holds PhD in PL; likes functional programming languages
@Cap3 Germany, Kiel
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Vincent Manuceau
vincent-manuceau
FullStack Dev @ MisterTemp -
Independent Researcher
ORCID: 0000-0003-3425-8459
@mistertemp Paris
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken
Radosław Waśko
radeusgd
Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.
@enso-org Poland
Michael Sproul
michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia