Benoit Combemale
Scientific Director at Inria
Rennes, Brittany, France
Summary
👤
Senior🎓
Top SchoolBenoit Combemale is a research-focused software engineering leader and Scientific Director with 12+ years of experience bridging academia, national research labs, and industry in France. Currently Research Director at Inria and co-leading the national Engineering Digital Twins program, he specializes in model-driven engineering, software language engineering, and V&V for cyber-physical systems, IoT and digital twins. He combines deep academic credentials (PhD, habilitation) and long-standing professorial roles with hands-on research leadership across IRISA and IRIT, and serves as Editor-in-Chief of the journal SoSyM. Benoit also advises startups (TwiinIT, Myrmix), signaling a practical focus on transferring formal methods into applied products. Known for integrating metamodeling and simulation techniques into verification workflows, he often works at the intersection of scientific computing and systems engineering. Based in Rennes, he blends rigorous scholarship with national-scale program management to advance engineering practices for complex, model-driven systems.
13 years of coding experience
16 years of employment as a software developer
Habilitation à Diriger des Recherches, Computer Science, Habilitation à Diriger des Recherches, Computer Science at Université de Rennes IPhD, Computer Science, PhD, Computer Science at Toulouse INPIUP NTIE, Computer Science, IUP NTIE, Computer Science at Université Toulouse - Jean Jaurès
Github Skills (35)
tlaplus9
tla9
jekyll9
intelligent8
par8
emf8
ecore8
semantics8
oop8
model-driven8
des7
behavior7
mde7
natural-language-processing7
agile7
Programming languages (8)
Github contributions (5)
teachdevops/teachdevops.github.io
May 2019 - Feb 2020
Website sources for teachdevops.github.io
Contributions:22 commits, 3 PRs, 21 pushes in 9 months
sources
gemoc/ale
Feb 2017 - Jun 2026
Inria/CWI team ALE (Agile Language Engineering)
Contributions:4 PRs, 96 pushes, 1 branch in 9 years 5 months
agilesoftware-language-engineering
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.