Mike Nhlanhla Chiloane
mikechiloane
Hello, I'm Mike, a skilled and versatile Full Stack Software Engineer with expertise in Java, MERN stack (MongoDB, Express.js, React.js, Node.js), Python
Pretoria, South Africa
Chris Pinnock drchris.tez
drchrispinnock
PGP Home: F384 91B6 ACED 4131 7925 1BD8 74A8 0935 96A9 8C52
PGP Work: 41A0 1CF9 68CE 06B1 6D4E 5F0E DF2A FA35 B6F2 11C6
Planet Earth, Milky Way
Quantifier
Isaac-DeFrain
ZK, Rust, OCaml, Formal Verification, Blockchain, BFT, Consensus,
Protocol Design, Mathematics
@Quantifier-Tech Vancouver, BC
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Bater.Makhabel
batermj
Software Engineer with A Passion for Innovation,
Published Author,
https://www.linkedin.com/in/batermj/
META4ALL Abu Dhabi, UAE
Santiago Zanella-Beguelin
s-zanella
I am a member of the Confidential Computing group at Microsoft Research. I have an interest in Programming Languages, Verification, and Cryptography.
Microsoft Cambridge, UK