James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
Dario Pinto
RadioPotin
Graduated from 42Paris. Software & Systems Engineer at OCamlPro.
OCamlPro Paris
Eric Patrizio
epatrizio
R&D software engineer. Programming languages design enthusiast.
Paris - France
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Fotis Koutoulakis
NlightNFotis
Computer Scientist and Mathematician | Distributed Systems, Compilers, Security & Reliability | Software Engineer @github
GitHub Oxford, United Kingdom
PreviousNext