Anne-laure S
Ingénieur at o1Labs
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolAnne-laure S is a French software engineer based in Paris with a foundation in applied mathematics and an engineering degree from ENSIIE. After rigorous preparatory classes and academic distinction, she spent three years at Nomadic Labs before joining o1Labs in 2024, gaining early-career experience in research-driven engineering environments. Her background blends strong theoretical training with hands-on work in cutting-edge blockchain/cryptography-adjacent organizations. Known for rapid learning and disciplined problem solving, she brings the analytical rigor of a math-trained engineer to practical system development. Though early in her career, her trajectory shows a clear focus on high-assurance, research-informed software projects.
2 years of coding experience
Classes Préparatoires aux Grandes Écoles, MPSI, Classes Préparatoires aux Grandes Écoles, MPSI at Lycée Militaire d’AutunDiplôme d'ingénieur, Informatique, Diplôme d'ingénieur, Informatique at ENSIIE - École nationnale Supérieure d’Informatique pour l’Industrie et l’EntrepriseLicence de mathématiques appliquées, Licence de mathématiques appliquées at Université d’ÉvryClasse Préparatoire aux Grandes Écoles, MP*, Classe Préparatoire aux Grandes Écoles, MP* at Lycée Carnot, Dijon
English, French
Github Skills (13)
cryptocurrency10
proof-system10
mina10
bulletproofs10
blockchain10
ocaml10
security10
zkp5
zk4
rustdoc1
rust1
crate1
ffi1
Programming languages (4)
Github contributions (5)
anne-laure-s/zkyc
Feb 2026 - Mar 2026
Contributions:6 pushes in 1 month
anne-laure-s/zkvm-bench
Jul 2026 - Jul 2026
Contributions:2 pushes in 3 days
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.