proidiot
Follow
Oscar Spencer
ospencer
Co-author of the Grain programming language & empowering developers through WebAssembly 🤓
Austin, TX
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Matthew Brecknell
mbrcknl
Working on the formal verification of the @seL4 microkernel.
@seL4 @Kry10-NZ Sydney, Australia
Gerwin Klein
lsf37
Proves stuff. Chief Scientist and Co-Founder at Proofcraft
Proofcraft Sydney, Australia
Axel Heider
axel-h
Axel is an engineer interested in how stuff actually works, e.g. kernels and operating systems, processors and hardware architectures, cryptography ...
Munich, DE
Andrew Butterfield
andrewbutterfield
Academic, interested in formal semantics and verification, functional programming.
Trinity College Dublin
PreviousNext