Arnaud Venet-Silicon Valley Campus - Carnegie Mellon University

Arnaud Venet

Contact Info:
Arnaud Venet
Carnegie Mellon University
Silicon Valley

NASA Ames Research Park
MS 269-3, Bldg. 269, Rm. 234
P.O. Box 1
Moffett Field, CA 94035-0001

Phone: 650-604-1337
Fax: 650-604-4036
Email: arnaud.venet@sv.cmu.edu or arnaud.j.venet@nasa.gov

Arnaud Venet, Sr. Research Scientist

Areas of Interest

Static analysis, automated software verification, embedded systems, cybersecurity, compiler technology

Education

M.Sc. Mathematics & Computer Science, École Normale Supérieure, France, 1995
Ph.D. Computer Science, École Polytechnique, France, 1998

Overview

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.

Website: http://ti.arc.nasa.gov/profile/arnaud/