Paul-nicolas Madelaine
Backend Software Engineer at Stockly
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolPaul-nicolas Madelaine is a backend software engineer with nine years of experience, currently building secure, reliable systems at Stockly in Paris. Trained as a scientist at École normale supérieure, he blends strong foundations in mathematics, physics, and theoretical CS with hands-on research engineering at Inria focused on verification and security. An avid Nix user and systems administrator, he emphasizes reproducible builds and tooling that empower developers and users alike. He contributes to high-assurance open-source projects, notably improving build and release automation for the formally verified HACL* cryptographic library. Paul-nicolas brings a practical eye for integrating formal methods into real-world deployment pipelines, ensuring cryptographic tools are both provably correct and maintainable. He is motivated by leveraging technology to increase autonomy and trust for end users.
9 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at Ecole normale supérieureClasses préparatoires, Mathematics and Computer Science, Classes préparatoires, Mathematics and Computer Science at Lycée Kléber
French, English
Github Skills (16)
sh10
fs10
script10
docker10
shell10
f10
formal-methods10
dockers10
scripting10
build-automation10
cicd10
fstar10
githubaction-workflow9
makefile9
github-ci9
Programming languages (11)
Github contributions (5)
hacl-star/hacl-star
Mar 2022 - Jan 2023
HACL*, a formally verified cryptographic library written in F*
Role in this project:
Automation Engineer / Build & Release Engineer
Automation Engineer / Build & Release EngineerContributions:22 reviews, 149 commits, 66 PRs in 10 months
Contributions summary:Paul-nicolas focused on improving the build and deployment processes within the HACL* repository. They updated the build scripts to use the correct versions of Vale, a tool for formal verification. These changes included modifying the `build.sh` script, updating the `Makefile.include` and `flake.nix` to facilitate the automated build process and address issues with dependencies. The user also made adjustments to the build process to ensure the correct integration of Vale and other dependencies.
inriacoq-librarycryptographicformal-verificationverified
pnmadelaine/mathlib-norm-cast
May 2019 - Feb 2020
normalizing casts inside expressions
Contributions:2 PRs, 137 pushes, 7 branches in 10 months
castsphoneticsnormalizingexpressions
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.