NASA Logo, National Aeronautics and Space Administration

Pierre-Loïc Garoche

I am a researcher within the Robust Software Engineering group in the Intelligent Systems Division at NASA Ames. I received an M.Sc from Ecole Normale Supérieur de Cachan, now ENS Paris-Saclay., and a Ph.D. and Habilitation from the University of Toulouse, both in France.

My research is focused on the formal verification of numerical software as used in embedded systems or critical applications: aircraft controllers, satellite attitude and orbital control systems, trajectory planning, convex optimization. I performed models and code analyses using various formal methods, mainly SMT-based model-checking and abstract interpretation.

I am participating to the CoCoSim toolchain, an automated analysis and compilation framework for Simulink/Stateflow.


Senior Computer Scientist
Stinger Ghaffarian Technologies
Intelligent Systems Division

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

Phone: +1 (707) 881-ploc

First Gov logo
NASA Logo -