Pierre Jouvelot
Lecturer at Mines Paris - PSL
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolPierre Jouvelot is a lecturer and senior researcher based in Paris with nine years of recent experience bridging programming language theory, type systems and compilation with applied domains like music, education and health. He combines deep academic credentials (PhD and MIT postdoctoral work) with long-standing roles at Mines Paris, Télécom Paris and ESILV, and has directed specialized programs in information technologies. An active contributor to formal software projects, he has back-end commits to the widely used math-comp Coq library, improving tuple sorting, big operations and compatibility—evidence of practical formal-methods expertise. He also brings entrepreneurial and editorial experience as a co-founder of a music-education company and member of editorial boards, reflecting an uncommon mix of research, publishing and product development. Colleagues value his ability to translate rigorous theory into usable tools and educational material across disciplines.
9 years of coding experience
37 years of employment as a software developer
Specialization, Computer Science, Specialization, Computer Science at CentraleSupélecClasses préparatoires, Classes préparatoires at Lycée Saint LouisPhD, Computer Science, PhD, Computer Science at Pierre and Marie Curie UniversityPostdoctoral studies, Computer Science, Postdoctoral studies, Computer Science at Massachusetts Institute of TechnologyEngineering, Meteorology, Engineering, Meteorology at Ecole nationale de la Météorologie
Stackoverflow
913reputation
6kreached
55answers
7questions
Github Skills (12)
coq10
data-structure9
algorithm9
data-structures9
algorithms9
back-end-development8
coq-tactic6
proof6
isar6
isabelle6
type-theory6
ssreflect6
Programming languages (4)
Github contributions (5)
math-comp/math-comp
Mar 2021 - May 2022
Mathematical Components
Role in this project:
Back-end Developer
Back-end DeveloperContributions:15 reviews, 8 commits, 26 PRs in 1 year 1 month
Contributions summary:Pierre primarily contributed to the mathematical components library. Their work involved implementing and updating features related to tuples, specifically adding sorting functionalities and unique properties. Further contributions included updating documentation and addressing compatibility issues with related tools like company-coq. They also added several functions and lemmas related to big operations and sequences.
ssreflectmathdependent-typeshomotopy-type-theorysymbolic-computation
jouvelot/mech.v
Mar 2022 - Jan 2023
A Coq/Mathematical Components library for mechanism design
Contributions:1 review, 141 commits, 3 PRs in 9 months
mechanismssreflectmechanism-designrealmscoq
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.