NASA Ames Research Park
Arnaud Venet, Sr. Research Scientist
Areas of Interest
Static analysis, automated software verification, embedded systems, cybersecurity, compiler technology
M.Sc. Mathematics & Computer Science, École Normale Supérieure, France, 1995
Dr. Arnaud Venet’s main research area is static program analysis by Abstract Interpretation. He is the architect of a static analyzer for C programs named C Global Surveyor (CGS). CGS has been applied to the flight software of several NASA missions such as Mars missions (MPF, DS1, MER) and some ISS payload software (UPA). CGS has been shown to scale to codes over 550K LOC. Dr. Venet’s research work focuses on algorithms and techniques for specializing static analyzers in order to achieve high precision and performance on large codes. He has designed a static analyzer generator named CodeHawk that allows the rapid development of customized static analyzers. Dr. Venet is currently working on a static analyzer for C/C++ targeted to flight software developed under the Integrated Modular Avionics framework.