Romain Brenguier
Software Developer at Sonar
Geneva, Geneva, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolRomain Brenguier is a software developer and technical lead with 11 years of experience building production-grade tooling from research prototypes to commercial products. Based in Geneva, he has progressed from academic research and a PhD-level background in computer science to leadership and architecture roles at DiffBlue, and recently joined Sonar to continue focusing on developer-facing quality tools. His work blends formal, research-driven rigor—rooted in internships and postdoctoral work at institutions like Carnegie Mellon and Oxford—with hands-on delivery of automated software analysis and testing systems. Known for bridging deep theoretical knowledge (timed games, proof-carrying code) with pragmatic engineering, he excels at turning complex verification ideas into scalable solutions. Colleagues describe him as a thoughtful architect who mentors teams while staying close to code and product outcomes.
11 years of coding experience
4 years of employment as a software developer
M2, Informatique, M2, Informatique at Ecole Normale Supérieure de CachanLycée Champolion
French, English, German, Turkish
Github Skills (38)
static-code-analysis10
tlaplus10
tla10
static-analysis10
sonarqube10
analyzer10
verification10
model-checking10
sonarlint10
java10
security10
code-analysis10
checker10
static-analyzer10
linter10
Programming languages (3)
Github contributions (5)
romainbrenguier/sedmoy
Feb 2021 - May 2023
Contributions:52 pushes, 3 branches in 2 years 3 months
romainbrenguier/cbmc
Aug 2016 - Apr 2021
C Bounded Model Checker
Contributions:12 PRs, 2738 pushes, 564 branches in 4 years 9 months
model-checkerchecker
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.