Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Charles de Haro
Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages
École Normale Supérieure Paris, France
Dorian Lesbre
dlesbre
Ph.D. student in computer science, working on program verification and formal methods
CEA List Paris, France
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Luke
ecleipteon
Yet Another Italian in London. Researcher at Imperial College London.
Safety-critical Systems Security.
Imperial College London London | Napoli
rgn4652638rgn9536903rgn5075169
rgn9536903tun
Ocotocat github rgn score 30 minutes 1 time score20000
guitar co. ld myanmar
Constantin GIERCZAK--GALLE
cs-t1
Computer science, Esperanto and aviation enthusiast.
Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
École Normale Supérieure, Paris. Paris
Basile Pesin
Vertmo
Studying Computer Science at UPMC in Paris. Trying things (that often fail).
Emilio Jesús Gallego Arias
ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
Inria Paris