CertiK
Yasmin Anacreto
YasmindIess
Transfemme ⚧ Deep ⚲ Kink ⚘ Taskful ☐ High ☁ Amnesic ‽ Anticipate ∞
¡!Convolutionals Timing !¡ Existence Interchanges ¡! Learning IT and Finances.
Fotocopantla South Atlantic Geomagnetic Anomaly
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
SB
sbneo2022
Chief Protocol Economist @babylonchain
Core Team @NibiruChain, @thorchain. High Frequency Trading, Automated Liquidity Provisioning, Crypto-Economics
NibiruChain New Jersey
Victor Shijie Wu
vicswu
Software Engineer @ CertiK
Computer Science Alumni @ University of Waterloo
CertiK Montreal, QC
Pardis Pashakhanloo
ppashakhanloo
Senior Software Engineer @ CertiK
CS PhD (University of Pennsylvania)
Former Research Intern @ Microsoft
Certik Philadelphia,PA
Joey Hachem
joeyhachem
Software Engineer @ CertiK.
Studied Computer Engineering @ University of Waterloo.
CertiK Toronto, ON
Anuoluwapo Gabriel Oyetibo
Aoyetibo557
love learning new things, meeting new people and coding.
PreviousNext