Patrick Massot
Pre-Sales at Planisware
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolPatrick Massot is a seasoned IT professional with over three decades of industry experience and a decade focused on pre-sales and solution consulting across Europe, currently supporting Planisware's PPM offerings from Paris. He combines deep technical knowledge of ECM/CCM platforms with hands-on pre-sales skills—POCs, ROI analyses, bid support and client-facing presentations—bringing product, training and implementation experience for banks, telecoms and insurers. Patrick also contributes to open-source formal methods work, improving documentation and core functionality in the widely used Lean theorem prover and its math libraries, signaling a strong interest in rigorous, correctness-oriented tooling. His background ranges from technical management and training to production leadership and QA, giving him a rare blend of customer-facing commercial acumen and low-level engineering discipline. Comfortable operating across languages, platforms and international markets, he often translates complex technical needs into practical, testable solutions and starter kits that speed deployment. Colleagues benefit from his pragmatic consulting approach and his inclination to improve developer experience through better docs and build tooling.
10 years of coding experience
19 years of employment as a software developer
BTS Informatique Industrielle, IT, BTS Informatique Industrielle, IT at Lycée d'Enseignement Supérieur Les Eucalyptus - NiceMaster 1 Science et Technique de l'Information et de la Communication (Option : MIAGE), Master 1 Science et Technique de l'Information et de la Communication (Option : MIAGE) at Université de Nice-Sophia Antipolis
French, English
Stackoverflow
136reputation
159reached
2answers
0questions
Github Skills (27)
algebra10
mathematics10
set-theory10
math10
formal-verification10
slim10
theorem-proving10
t410
leanback10
documentation10
programming-language9
proofs9
proof9
data-persistence9
persistent-data9
Programming languages (17)
Github contributions (5)
leanprover-community/mathlib3
Jan 2018 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:423 reviews, 233 commits, 234 PRs in 5 years
Contributions summary:Patrick contributed to the `mathlib3` repository by implementing group morphisms and antimorphisms, including their definitions, inverse operations, and computations within big operators. They added permutation group instances for various types. The user also fixed a universe parameter in the permutation group and added pi instances for common algebraic structures.
maththeorem-provingcomponents-librarymathematicsjavascript
leanprover-community/mathlib4
May 2021 - Dec 2022
The math library of Lean 4
Role in this project:Back-end Developer
Back-end DeveloperContributions:113 reviews, 14 commits, 65 PRs in 1 year 7 months
Contributions summary:Patrick contributed to the `mathlib4` project by implementing and porting mathematical concepts to the Lean 4 language. Their work included improving documentation for existing modules like `Set.lean`, porting and integrating mathematical functions such as `algebra.abs`, and introducing new functionality like the `boolIndicator` function and sigma types. The contributions involve working with the core mathematical definitions and proving properties within the Lean 4 environment.
maththeorem-provingcomputer-algebra-systemmathematicsin-progress
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.