-
AWS, Automated Reasoning Group
- Austin, TX
- https://aqjune.github.io
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris