rlepigre
Follow
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Aaron Gray
AaronNGray
Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
Emanuele D'Osualdo
bordaigorl
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz
University of Konstanz Konstanz, Germany
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Aris Papadopoulos
arisPapadop
Joint Mathematics and Computing student at Imperial College London.
London
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Eray Özkural
examachine
AI researcher, inventor, entrepreneur, philosopher, musician, transhumanist, futurist, free software author, demo scene coder.
@celestial-intellect Dead City, Antarctica
