Account used to upload code from my PhD thesis at Mitsubishi Electric R&D Centre Europe (Rennes, France) and Inria Gallinette (Nantes, France)
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris