Mathieu Baudet
Founder at Linera
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolMathieu Baudet is a founder and seasoned engineer with 13 years of experience building secure, distributed systems across startups and large tech, including research roles at Meta/Novi and core software engineering at Facebook. He specializes in BFT consensus, cryptographic protocols, and formal verification, with hands-on experience shipping blockchain and AI infrastructure through his work at Linera and contributions to the Diem project. Mathieu combines deep academic roots—a PhD focused on cryptographic protocol security—with practical systems engineering (notably improving Facebook’s Buck build system and extending Caffe2 operators). He has a track record of turning formal methods into production-grade features like cross-chain message handling and robust transaction builders. Based in New York, he pairs research rigor with product-focused execution, often bridging cryptography, developer tooling, and infrastructure in ways that reduce friction for other engineers.
13 years of coding experience
15 years of employment as a software developer
PhD Computer Science, PhD Computer Science at ENS CachanÉcole PolytechniqueTélécom ParisDEA Programming languages & Formal methods, DEA Programming languages & Formal methods at Université Paris Cité
English, French
Github Skills (30)
transaction10
serializable10
caffe10
develop10
ios10
parser10
c-language10
serializer10
python10
machine-learning10
data-structure10
java10
serialization10
deserialization10
javas10
Programming languages (14)
Github contributions (5)
linera-io/linera-protocol
Apr 2023 - Apr 2025
Main repository for the Linera protocol
Role in this project:
Back-end Developer
Back-end DeveloperContributions:15 releases, 2525 reviews, 583 PRs in 1 year 11 months
Contributions summary:Mathieu introduced more precise data types and adjusted the logic for managing application IDs, applications, and execution results in the Linera protocol. They modified core components like the execution runtime and system operations, adding functionalities for handling messages and external communication to support cross-chain features. Their commits focused on refining data structures and adjusting the core logic for message handling, adding new features and code that enable the protocol to execute actions across chains.
blockchainrustwasm
diem/diem
Mar 2020 - Feb 2021
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Role in this project:Back-end Developer
Back-end DeveloperContributions:77 reviews, 155 commits, 87 PRs in 11 months
Contributions summary:Mathieu contributed significantly to the Diem project, focusing on the development of the transaction builder and related tools. Their work involved modifying and improving the code used for building and encoding transactions, including adding new methods and optimizing the code. The commits also show that the user worked on refactoring code to align with the move language, using new language features. The user's contributions also included work on documentation and examples, showing efforts to enhance usability of the transaction building functionality.
diemfinancialtrustedethereumblockchain
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.