Julien Henry
Senior Software Engineer at MathWorks
Grenoble, Auvergne-Rhône-Alpes, France
Summary
🤩
Rockstar🎓
Top SchoolJulien Henry is a senior software engineer with 12 years of experience specializing in static program analysis, SAT/SMT solving, and the intersection of abstract interpretation and software model checking. Currently at MathWorks, he contributes to the core engines of Polyspace Code Prover and Bug Finder, bringing deep research experience from a Ph.D. at Université Grenoble Alpes and a postdoc at UW–Madison. He led development of PAGAI, an LLVM-based static analyzer, and has contributed low-level fixes and performance improvements to the widely used Soufflé Datalog compiler. Julien combines academic rigor with production-grade engineering, translating decision-procedure research into robust tooling for large-scale code analysis. Based in Grenoble, he’s comfortable navigating both research labs and commercial product teams to deliver precise, scalable static-analysis solutions.
12 years of coding experience
5 years of employment as a software developer
Ingénieur, Ingénierie des SI, Ingénieur, Ingénierie des SI at National School of Computer Science and Applied Mathematics of Grenoble
French, English
Stackoverflow
46reputation
3kreached
1answer
0questions
Github Skills (14)
datalog10
c-language10
cprogramming-language10
logic-programming10
flet10
ff10
compiler-optimization9
translators8
static-code-analysis8
translator8
sqlite7
textmate6
netbeans6
color-scheme6
Programming languages (4)
Github contributions (5)
souffle-lang/souffle
Mar 2021 - Oct 2022
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:45 reviews, 59 commits, 19 PRs in 1 year 7 months
Contributions summary:Julien primarily focused on bug fixes and enhancements within the Soufflé Datalog compiler. Their contributions involved addressing memory issues, correcting relation inlining, improving execution plan checking, and enhancing SQLite output performance. They also implemented support for leq and improved conditions reordering. The user's work primarily centered on optimizing the compiler's core functionalities and ensuring its correctness.
logic-programminganalysesc-plus-plusc-programlogic
julienhenry/vscode-souffle-langserver
Apr 2020 - Oct 2022
Contributions:11 commits, 3 pushes in 2 years 6 months
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.