Clément Hurlin
Senior Lead Software Engineer at TELECOM Nancy
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 (172)
python10
windows10
cryptocurrency10
ada10
cardano10
servant10
3d10
game-development10
haskell10
javascript10
game-engine10
linux10
hackage10
starlark10
monorepo10
Programming languages (15)
Github contributions (5)
smelc/hgamesrhogue
Jan 2017 - Dec 2018
Contributions:1 release, 190 commits, 83 pushes in 1 year 11 months
smelc/SquidLib
Sep 2015 - Jul 2017
Contributions:83 pushes, 2 comments in 1 year 10 months
grid-worldsuggestionsuseful-toolsswingpanels
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.