Users following reilabs
Jeremy Lindsay
jnlindsay
BSc (Honours) in pure mathematics. Software Engineer at WiseTech Global.
WiseTech Global Sydney, NSW, Australia
Tal Derei
TalDerei
MS in Computer Science at Lehigh University
- Member of SSS Research Group (sss.cse.lehigh.edu) and Lehigh Blockchain (wordpress.lehigh.edu/blockchain)
Lehigh University [email protected]
Remco Bloemen
recmo
Klotzkettenfachmann at Worldcoin.
Prev Technical Fellow at 0x.
@worldcoin San Francisco
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
KinziRoze
LetsGetKinKi
✨ I’m KinziRoze ✨
Keep Up w Me While I Keep it Kinky
KinziRoze Las Vegas, Nevada, USA
Ara Adkins
iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
CTO & CFO @tactile-metrology, Principal Engineer @reilabs Amsterdam, NL