Jean-pierre Rosen
Technical Director at Adalog
Greater Paris Metropolitan Region France
Summary
👤
Senior🎓
Top SchoolJean-pierre Rosen is a Technical Director and Ada specialist with over three decades of professional involvement and 14 years of focused industry experience in leadership roles. He founded and leads Adalog and serves as Président of Ada-France, advocating for Ada, formal methods, and safety-critical engineering in the Greater Paris region. Creator of AdaControl, he brings deep practical expertise in static analysis, coding standards verification, HOOD methodology and AADL training, turning rigorous theory into usable tooling. His background includes an academic tenure as a professor at ENST/Telecom Paris, linking research-grade rigor with industrial delivery. Colleagues know him for championing Ada as the right tool for software engineering problems and for translating that conviction into concrete consulting, training, and open tools. He combines long-term technical stewardship with a rare mix of pedagogy and hands-on tool development.
14 years of coding experience
22 years of employment as a software developer
Ingénieur, Ingénieur at Telecom ParisTech
English
Github Skills (10)
ada10
controller10
static-analysis9
password-generator6
password-manager6
android5
kotlin5
keepass4
application4
app-manager3
Programming languages (2)
Github contributions (5)
Adalog-fr/Adacontrol
Aug 2011 - Sep 2022
An Ada controller for static analysis and rules checking
Contributions:1022 commits, 19 pushes, 9 branches in 11 years 2 months
adacontrollercheckingrulesstatic-analysis
Adalog-fr/Comps
Oct 2019 - Jun 2022
General purpose components and utilities
Contributions:5 pushes, 1 branch, 1 tag 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.