Verichains
MO. SOL.solidity auditor
MOSolsolidityauditor
Blockchain security developer since 2014. Fascinated by Web3 Technology, DeFi,Solidity Smart Contracts
, DAOS and all web3 matters
Former of Certik, Häcken, Solulab,Solid Proof Australia
Muhammed
CxBug
“Either mathematics is too big for the human mind, or the human mind is more than a machine.”
— Kurt Gödel
Long Hoang
alonecandies
I am a lifelong learner. My motto is "Knowledge is the only thing that nobody can take it away from me."
@KYRDTeam Hanoi, Vietnam
SpacePi_Com
SpacePiCom
SpacePi is a memecoin self-organized by devout Pi Network members to promote the Pi Network ecosystem.
SpacePi Singapore
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
