Weijun Huang
shijua
4th year Meng Computing Student of Imperial College London
Imperial College London London
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Youyou Cong
YouyouCong
I am a native speaker of delimited continuations.
Institute of Science Tokyo Tokyo, Japan
John Wickerson
johnwickerson
Associate Professor, Department of Electrical and Electronic Engineering, Imperial College London
Imperial College London Cambridge/London, UK