David Mentré
Research Manager - Information And Network Systems Team
Rennes, Brittany, France
Summary
👤
Senior🎓
Top SchoolDavid Mentré is a research manager and applied formal methods expert with 13+ years leading multidisciplinary teams at Mitsubishi Electric R&D in Rennes, bridging optical and wired networks, security, and safety-critical software engineering across domains like factory automation, 5G, automotive and railway. He combines hands-on expertise in formal tools (B Method, Frama-C, SPARK, SCADE) with strategic responsibilities in research planning, budgeting, IP and international collaborations. His background ranges from low-level network processor development (Intel IXP2400 and LTE femtocell stacks) to high-assurance software verification, enabling pragmatic solutions that span physical to application layers. Fluent in navigating multicultural research ecosystems, he also serves on program committees for niche formal verification conferences, reflecting his active role in shaping the field.
13 years of coding experience
16 years of employment as a software developer
PhD, Computer Science, Ph.D., Computer Science, Engineer, Computer Science, PhD, Computer Science, Ph.D., Computer Science, Engineer, Computer Science at Université de Rennes I
Irisa / Inria Rennes
English, French
Stackoverflow
61reputation
657reached
2answers
0questions
Github Skills (15)
ocaml8
modeling8
opam7
emr6
frama-c6
reliability6
specification5
spark5
package-repository4
package-manager3
toolchain3
angr2
sysml1
srs1
backlog1
Programming languages (3)
Github contributions (5)
openETCS/model-evaluation
Nov 2012 - Jun 2013
Contributions:109 commits in 6 months
selectingformal-specificationspecificationformalactivities
openETCS/requirements
Nov 2012 - Oct 2013
Contributions:45 commits, 1 comment, 1 issue in 11 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.