Valentin Montmirail
Solution Implementation Leader
Nice, Provence-Alpes-Côte d'Azur, France
Summary
👤
Senior🎓
Top SchoolValentin Montmirail is a Solution Implementation Leader at Schneider Electric with 11 years of experience, combining a PhD in Artificial Intelligence and deep expertise in SAT, constraint programming and abstraction refinement to drive secure, AVEVA-compatible software deployments. He leads cross-border development and QA teams across France and Canada, strengthening software sales and supporting Presales and Execution through pragmatic vulnerability management and industry-standard practices. His background spans research and hands-on engineering—from building Modal-SAT solvers and academic benchmarks to delivering enterprise Java and web platforms—giving him a rare ability to translate formal methods into production-grade solutions. Based in Nice, he is known for marrying rigorous academic techniques with practical implementation, quietly elevating product security and reliability across Schneider Electric’s software landscape.
11 years of coding experience
5 years of employment as a software developer
Diplôme d'ingénieur en Informatique, Computer Science, Diplôme d'ingénieur en Informatique, Computer Science at Polytech ToursBaccalauréat, Génie Logiciel, Baccalauréat, Génie Logiciel at Université du Québec à MontréalDiplôme Universitaire de Technologie, Informatique, Diplôme Universitaire de Technologie, Informatique at IUT de LensDoctor of Philosophy (Ph.D.), Artificial Intelligence, Doctor of Philosophy (Ph.D.), Artificial Intelligence at Université d'ArtoisMaster of Engineering (MEng), Computer Software Engineering, Master 1, Master of Engineering (MEng), Computer Software Engineering, Master 1 at Politechnika Łódzka
French, English, Italian, Polish
Stackoverflow
2,624reputation
334kreached
48answers
45questions
java
top-5%
eclipse
top-5%
Github Skills (49)
sat10
java9
eclipse9
sat-solver8
solver8
modal-logic7
previews7
semantics7
dropzone7
drag-and-drop7
file-upload7
uca7
nlp6
mongodb6
sat4j6
Programming languages (5)
Github contributions (5)
satlive/website
Jun 2015 - Oct 2019
SAT Live! web site
Contributions:25 commits, 16 PRs, 20 comments in 4 years 5 months
satweb-site
Mystelven/SatLive
Jun 2015 - Oct 2019
SAT Live! web site
Contributions:19 PRs, 31 pushes, 2 branches in 4 years 5 months
satweb-site
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.