NASA Logo, National Aeronautics and Space Administration

Maxime Arthaud

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 Distributed System and Critical Software at the INP-ENSEEIHT in Toulouse, France. My research interests are in the fields of software verification, compilers and cyber security.

I am currently the main developer of IKOS (Inference Kernel for Open Static Analyzers), a static analyzer based on abstract interpretation.


profile picture

Computer Scientist
Stinger Ghaffarian Technologies
Intelligent Systems Division

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

Phone: (650) 604-2261
Email: maxime.arthaud at

First Gov logo
NASA Logo -