Jérôme Hugues
Principal Scientist at SAE International
Washington DC-Baltimore Area United States
Summary
👤
Senior🎓
Top SchoolJérôme Hugues is a Principal Scientist and systems architect with 14 years of experience specializing in system modeling languages and formal architecture analysis. He has shaped industry standards through long-standing work on AADL and contributed to the definition of OMG SysML v2, blending academic rigor with practical tooling. His career spans research and teaching roles at ISAE-SUPAERO and Carnegie Mellon’s SEI, and he now advances system assurance at Galois in the Washington DC–Baltimore area. An active open-source contributor and peer-reviewed author, he bridges model-based engineering, real-time distributed systems, and formal methods. Notably, his background combines deep standards committee engagement (SAE AS-2C) with hands-on research leadership, enabling influence from specification to tool implementation. He holds a PhD in Computer Science and an HDR, reflecting a sustained commitment to advancing system architecture theory and practice.
14 years of coding experience
19 years of employment as a software developer
Habilitation à Diriger les Recherches (HDR) Computer Science, Habilitation à Diriger les Recherches (HDR) Computer Science at Toulouse INPPhD Computer Science Distributed Real-Time Systems, PhD Computer Science Distributed Real-Time Systems at Télécom ParisDEA (Master) Computer Science Formal Methods Distributed Systems, DEA (Master) Computer Science Formal Methods Distributed Systems at Pierre and Marie Curie University
French, English, German
Github Skills (29)
mappings10
ada10
rtems10
adaptation9
formal-verification8
scheduling8
subset8
security7
kernel7
plugin7
posix7
crazyflie7
formal-methods7
rtos6
safety-critical5
Programming languages (7)
Github contributions (5)
OpenAADL/ocarina-build
May 2016 - Feb 2021
Contributions:8 releases, 146 commits, 127 pushes in 4 years 9 months
OpenAADL/polyorb-hi-c
Jan 2013 - Sep 2022
PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
Contributions:2 releases, 384 commits, 11 PRs in 9 years 9 months
posixruntimertemsrtosocarina
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.