Paul Laforgue
Software Engineer at Nomadic Labs
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolPaul Laforgue is a software engineer with 11 years of experience specializing in functional programming, distributed systems, and blockchain development, currently building Tezos projects like Etherlink and DAL at Nomadic Labs. He brings a strong computer science research background—MPRI in Logics and Semantics of Programs—and a history of internships that produced formal semantics, effect systems, and Agda proofs, which inform his rigorous approach to protocol and language design. Paul bridges theory and practice by turning formal methods into production-grade blockchain software and monitoring systems that aim for real societal impact. Based in Paris, he combines hands-on engineering with academic depth, and maintains an active presence on GitLab where his open-source work reflects the same emphasis on correctness and composability.
11 years of coding experience
1 year of employment as a software developer
Parisian Master of Research in Computer Science Master (MPRI), Research in Computer Science - Logics and Semantics of Programs, Parisian Master of Research in Computer Science Master (MPRI), Research in Computer Science - Logics and Semantics of Programs at Université Denis Diderot (Paris VII)Licence, Informatique, Licence, Informatique at University of Lille 1 Sciences and TechnologyInformatique, Informatique at Université Toulouse - Jean Jaurès
French, English, Spanish
Github Skills (48)
apl10
ocaml10
branches10
tezos10
gleam10
idris10
dub10
opam9
ledger9
package-repository9
multicore9
blockchain9
dune9
lwt9
ppx9
Programming languages (7)
Github contributions (5)
phink/opam-repository
Mar 2017 - Sep 2020
Contributions:12 pushes, 1 branch in 3 years 6 months
package-managerpackage-repositoryocamlopam
yurug/ocaml4.04.0-copatterns
Mar 2017 - Nov 2017
Contributions:4 releases, 35 commits, 26 pushes in 7 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.