Mathieu Baudet
Founder at Linera
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolMathieu Baudet is a founder and distributed-systems engineer based in New York with 13 years of experience building blockchain, AI and developer infrastructure. He leads Linera and previously researched at Novi/Libra and engineered at Facebook, bringing deep expertise in BFT consensus, cryptographic protocols and formal verification. His open-source footprint includes work on high-profile projects — contributing transaction tooling to Diem, operator and performance improvements to Caffe2, and build-system enhancements to Buck — and he has driven cross-chain message and execution logic in the Linera protocol. Trained with a PhD-level background and a stint at France’s ANSSI, he uniquely blends formal methods and security experience with hands-on production engineering.
13 years of coding experience
15 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at ENS CachanÉcole PolytechniqueDEA, Programming languages & Formal methods, DEA, Programming languages & Formal methods at Université Paris CitéTélécom Paris
English, French
Github Skills (33)
transaction10
serializable10
ios10
parser10
caffe10
c-language10
develop10
serializer10
python10
machine-learning10
data-structure10
java10
serialization10
javas10
deserialization10
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.