Patrick Cousot (born 3 December 1948) is a French computer scientist.Together with his wife Radhia (1947–2014), 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. He has been Professor of Computer Science at the École Normale Supérieure (ENS) in Paris since 1991.