Jérôme Hugues
Principal Scientist at Galois, Inc.
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 (24)
build-script10
ada10
petri-net10
plugin9
rtems9
crazyflie9
formal-verification8
posix8
kernel8
security7
safety-critical7
formal-methods7
rtos6
spark6
programming-language6
Programming languages (8)
Github contributions (5)
OpenAADL/AADLib
Apr 2012 - Oct 2021
Library of AADL models
Contributions:2 releases, 366 commits, 2 PRs in 9 years 8 months
aadl
OpenAADL/ocarina-docker
Sep 2016 - Nov 2020
Contributions:32 pushes, 3 branches, 2 comments in 4 years 3 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.