Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Ewetumo Alexander
influx6
Christian, Polyglot Developer (Go, Ruby, C#, JS, Python, Dart, Flutter), Husband and Dad!
@Ewe-Studios Lagos, Nigeria