Clément Hurlin
Senior Lead Software Engineer at Freelance | Self-Employed
Nancy, Grand Est, France
Summary
🤩
Rockstar🎓
Top SchoolClément Hurlin is a senior lead software engineer and engineering director with 15+ years of experience bridging research-grade formal methods and pragmatic product delivery across compilers, provers, CI/CD and security. He has led and grown teams of ~20 engineers, driven pre-sales for functional-programming and reproducible-builds projects (Bazel, Nix, Buck2), and still contributes hands-on to challenging client work and static-analysis tooling. A polyglot technologist fluent in Python, Haskell, OCaml and Java, he combines rigorous academic training (PhD) with a knack for automating quality at scale—property testing, fuzzing and custom regression systems are recurring themes. He teaches functional programming in Haskell, speaks at conferences to evangelize tools he believes in, and prefers honest, fact-driven management that smooths the gap between clients and engineers. An unpretentious generalist, he mixes deep formal thinking with practical sales and delivery experience—he even admits to using AI tools like gemini-cli when they speed development.
15 years of coding experience
15 years of employment as a software developer
Doctorat, Informatique, Doctorat, Informatique at University of TwenteDiplôme d'ingénieur, Ingénierie informatique, Diplôme d'ingénieur, Ingénierie informatique at TELECOM NancyMaster 2 (M2), Ingénierie logicielle, Master 2 (M2), Ingénierie logicielle at Universite de LorraineDoctorat, Informatique, Doctorat, Informatique at Université Côte d'Azur
English, French, Italian
Stackoverflow
440reputation
12kreached
11answers
5questions
Github Skills (140)
windows10
command-line-interface10
cryptocurrency10
ada10
cardano10
3d10
game-development10
haskell10
game-engine10
linux10
html10
monorepo10
cli10
storage10
aws-lambda10
Programming languages (17)
Github contributions (5)
smelc/hgamesrhogue
Jan 2017 - Dec 2018
Contributions:1 release, 190 commits, 83 pushes in 1 year 11 months
smelc/papageorges
Dec 2019 - May 2025
A program to make each person in a group give a Christmas gift to exactly one other person in this group.
Contributions:4 PRs, 30 pushes, 1 branch in 5 years 6 months
pythonpersonchristmaspython3in-person
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.