Alexandre Maréchal
Software Development Engineer at Siemens EDA (Siemens Digital Industries Software)
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolAlexandre Maréchal is a software development engineer with a PhD in program analysis and ten years of experience building verified analysis tools and industrial software. His research-focused background spans static analysis, polyhedral algorithmics, formal proofs with Coq, and combinatorial optimization, lending strong formal rigor to practical implementation. At Siemens EDA he applies this expertise to production-grade systems after contributing to research projects like a Verified Polyhedra Library, Mopsa, and AbSolute. Comfortable in OCaml, Python, Java, C/C++ and Coq, he bridges the gap between theorem-proving and performant code. He also brings substantial teaching experience—about 300 hours across algorithmics, logic, compilation and programming—which sharpens his ability to explain complex ideas clearly. Colleagues can expect a developer who combines deep theoretical insight with hands-on engineering and a penchant for formally verified algorithms.
9 years of coding experience
3 years of employment as a software developer
Baccalauréat, S, Mention très bien, Baccalauréat, S, Mention très bien at Lycée Anna de NoaillesMaster's degree, Mathématiques et informatique, Mention bien, Master's degree, Mathématiques et informatique, Mention bien at Université Joseph Fourier (Grenoble I)
French, English
Github Skills (6)
solver8
constraint7
sat-solver6
constraint-programming5
coq-tactic1
coq1
Programming languages (3)
Github contributions (5)
VERIMAG-Polyhedra/VPL
Jan 2017 - Jun 2020
Contributions:192 commits, 268 pushes, 40 branches in 3 years 6 months
VERIMAG-Polyhedra/VPL-Experiments
Jan 2018 - Sep 2020
Contributions:34 pushes, 6 branches in 2 years 8 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.