NASA Logo, National Aeronautics and Space Administration

Hamza Bourbouh

I am a research engineer in the Robust Software Engineering Group of the Intelligent Systems Division at the NASA Ames Research Center in Mountain View, California. I received an M.Sc. in Computer Science and applied mathematics at the INP-ENSEEIHT in Toulouse, France. I am currently a Phd student in formal verification of critical systems under the supervision of Pierre-Loic Garoche . My research interests are in the fields of software verification and static analysis.

I am currently the main developer of CoCoSim, an automated analysis and compilation framework for Simulink/Stateflow models.


profile picture

Research engineer
Stinger Ghaffarian Technologies
Intelligent Systems Division

NASA Ames Research Center
Mail Stop 269-1
Moffett Field, CA 94035

Phone: +1 (415) 688-5782
My website

First Gov logo
NASA Logo -