Antonio Locascio
Research Engineer at Matter Labs
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolAntonio Locascio is a research engineer with eight years of software and research experience, currently working on cutting-edge protocols at Matter Labs in Paris. Trained as a Licentiate in Computer Science from Universidad Nacional de Rosario, he progressed from academic lab work and internships into production-focused engineering roles at Nomadic Labs before joining Matter Labs’ research team. He bridges rigorous academic foundations with practical implementation, contributing to projects that intersect formal research and applied blockchain systems. Based in Paris but rooted in Argentina, he brings a global perspective and a knack for translating theoretical ideas into tested software.
8 years of coding experience
2 years of employment as a software developer
Ciencias de la Computación, Ciencias de la Computación at Universidad Nacional de RosarioColegio San Bartolomé
Github Skills (40)
apl10
c-language10
verification10
ocaml10
wolfram-language10
webcrypto9
tlaplus9
proof-assistant9
agda9
dependent-types9
opam9
lambda-calculus9
z39
idris9
sat-solver9
Programming languages (3)
Github contributions (5)
antoniolocascio/FStar
May 2021 - Dec 2021
Verification system for effectful programs
Contributions:41 pushes, 10 branches in 7 months
programsverification-systemeffectfulverification
antoniolocascio/Alef
May 2020 - Sep 2020
Contributions:6 commits, 7 pushes, 1 branch in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.