About

Yannick Moy is a computer science engineer/researcher whose work focuses on software source code analysis, mostly to detect bugs or verify safety properties. Yannick has worked 4 years for PolySpace (now The MathWorks) where he started the project C++ Verifier, aimed at sound static checking of runtime errors in C++ programs by abstract interpretation. He then joined INRIA Research Labs/Orange Labs in France for a PhD on automatic modular static safety checking for C programs based on deductive techniques. He is now working at AdaCore on languages and tools for high-integrity software, especially DO-178 avionics software. Yannick holds an engineer degree from Ecole Polytechnique, a MSc from Stanford and a PhD from Universite Paris-Sud (France).

Education

Stanford University

Computer Science

Class of 2002

Awards & Publications