Thomas Lamiaux
thomas-lamiaux
Student Ens-Paris Saclay
Research intern in the Gallinette team at Inria Nantes
Yunsong Y
HaleOIC
Hey, I am Yunsong Yang, keen on discovering more things in programming languages and verifications
Stockholm
Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
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.”
Lean FRO Paris
Tia Vu
Tia-Vu
MIT CS PhD student studying Programming Languages, Natural Languages, Constructed Languages, and the likes.
Sheafification of G
SheafificationOfG
Organisation for YouTube content made by the Sheafification of G
Canada
Kiran Gopinathan
kiranandcode
Researcher working on proof repair and maintenance
Research Scientist NYC
Kevin Laeufer
ekiwi
Modern Hardware Construction Languages and Automated Testing
Cornell University Ithaca, NY
Sacha Ayoun
giltho
CTO of Soteria Tools Ltd. and postdoctoral research at Imperial College London
Soteria Tools Ltd.
Yue Yao
tripack45
CMU CSD PhD in PL. Types (for) Systems FTW. Previously CMU MSCS and NVidia PTX Compiler Eng.
Pittsburgh, PA
Xingyu Xie
namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to interact with people.
Max Planck Institute for Security & Privacy Bochum, Germany
Ibraheem Ahmed
ibraheemdev
Software developer interested in building fast, concurrent, and robust systems.
@astral-sh Toronto, Canada
PreviousNext