Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Rajeeb Kumar Malik
rajeebkm
Senior Blockchain Engineer | Nethermind |
Smart Contract Security | Open Protocol | Institute Medal Winner
@NethermindETH Bangalore, India
Mentor Reka
0xMentorNotAPseudo
Building the best place to live for savvy traders on #Starknet.
AVNU Switzerland