Robert Bocchino
Flight Software Engineer at Jet Propulsion Laboratory
Pasadena, California, United States
Summary
🤩
Rockstar🎓
Top SchoolRobert Bocchino is a Flight Software Engineer with 12 years of experience building mission-critical flight software at NASA's Jet Propulsion Laboratory, grounded in a rigorous academic background including a PhD in Computer Science and a BA in Mathematics from Harvard. His career bridges deep research—two postdoctoral and graduate research roles—with practical engineering, producing reliable onboard systems for space missions. Prior to his scientific trajectory he practiced law, a background that contributes to his precise, documentation-first approach to software design and requirements. Based in Pasadena, he combines formal methods and systems-level thinking to tackle real-time, safety-critical challenges. Colleagues value his ability to translate complex research into operational code that runs in extreme environments.
12 years of coding experience
14 years of employment as a software developer
Bachelor of Arts - BA, Mathematics, Bachelor of Arts - BA, Mathematics at Harvard UniversityUniversity of Illinois Urbana-Champaign
Github Skills (24)
crossword10
programming-language10
redo10
agent-based-modeling10
object-oriented-programming10
sat-solver10
compiler10
embedded10
homotopy-type-theory10
raspberry-pi10
cpp10
modeling10
tooling9
hal9
python8
Programming languages (6)
Github contributions (5)
bocchino/AppleCore
May 2014 - Jun 2016
Contributions:7 commits, 3 pushes in 2 years 1 month
nasa/fpp
Oct 2019 - Jan 2023
F Prime Prime: A modeling language for F Prime
Contributions:53 releases, 363 reviews, 2302 commits in 3 years 4 months
crosswordhomotopy-type-theoryagent-based-modelingsat-solvercompiler
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.