TaceoLabs
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
Formal Land Paris
Sean P. Myrick V19.1.7.2
seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.
Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>
