 Together with his wife Radhia Cousot (1947–2014), Patrick Cousot is the originator of abstract interpretation, an influential technique in formal methods.In the 2000s, he has worked on practical methods of static analysis for critical embedded software (Astrée), such as found in avionics.In 1999 he received the CNRS Silver medal and in 2006 the great prize of the EADS Foundation.