Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the

Courant Institute of Mathematical Sciences The Courant Institute of Mathematical Sciences (commonly known as Courant or CIMS) is the mathematics research school of New York University (NYU), and is among the most prestigious mathematics schools and mathematical sciences research cente ...

New York University New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then- Secretary of the Treasury Albert Gallatin. In 1832, th ...

, USA. Before he was Professor at the

École Normale Supérieure École may refer to: * an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée) * École (river), a tributary of the Seine flowing in région Île-de-France * École, S ...

(ENS), Paris, France, the

École Polytechnique École may refer to: * an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée) * École (river), a tributary of the Seine flowing in région Île-de-France * École, Savoi ...

, Palaiseau, France and the

University of Metz A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, t ...

, France and a Research Scientist at the

French National Center for Scientific Research The French National Centre for Scientific Research (french: link=no, Centre national de la recherche scientifique, CNRS) is the French state research organisation and is the largest fundamental science agency in Europe. In 2016, it employed 31,637 ...

(CNRS) at the

Joseph Fourier University Joseph Fourier University (UJF, french: Université Joseph Fourier, also known as Grenoble I) was a French university situated in the city of Grenoble and focused on the fields of sciences, technologies and health. It is now part of the Universit ...

, Grenoble, France. Together with his wife

Radhia Cousot Radhia Cousot (6 August 1947 – 1 May 2014) was a Tunisian French computer scientist known for inventing abstract interpretation. Studies Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the :fr:B ...

(1947–2014), Patrick Cousot is the originator of abstract interpretation, an influential technique in

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

. In the 2000s, he has worked on practical methods of

static analysis Static analysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without regard to the longer-term response of the system to that change. If the short-term effect i ...

for critical embedded software ( Astrée), such as found in

avionics Avionics (a blend of ''aviation'' and ''electronics'') are the electronic systems used on aircraft. Avionic systems include communications, navigation, the display and management of multiple systems, and the hundreds of systems that are fit ...

. In 1999 he received the

CNRS Silver Medal The CNRS Silver Medal is a scientific award given every year to about fifteen researchers by the French National Centre for Scientific Research The French National Centre for Scientific Research (french: link=no, Centre national de la recherch ...

and in 2006 the great prize of the EADS Foundation. In 2001, he was bestowed an honorary doctorate by

Saarland University Saarland University (german: Universität des Saarlandes, ) is a public research university located in Saarbrücken, the capital of the German state of Saarland. It was founded in 1948 in Homburg in co-operation with France and is organized in s ...

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

. With

, he received the ACM

SIGPLAN SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages. Conferences * Principles of Programming Languages (POPL) * Programming Language Design and Implementation (PLDI) * International Symposium on ...

Programming Languages Achievement Award in 2013 and the

IEEE Computer Society The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...

Harlan D. Mills award in 2014, "For the invention of ' abstract interpretation', development of tool support, and its practical application". He received a

Humboldt Research Award The Humboldt Prize, the Humboldt-Forschungspreis in German, also known as the Humboldt Research Award, is an award given by the Alexander von Humboldt Foundation of Germany to internationally renowned scientists and scholars who work outside of G ...

in 2008 and the 2018

IEEE John von Neumann Medal The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or ...

"for introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimisation". In 2020 Cousot was recognized

ACM Fellow ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...

"for contributions to programming languages through the invention and development of abstract interpretation". In 2022, Cousot was awarded an honorary doctorate from

Ca' Foscari University of Venice Ca' Foscari University of Venice ( it, Università Ca' Foscari Venezia, simply Università Ca' Foscari) is a public university in Venice, Italy. Since its foundation in 1868, it has been housed in the Venetian Gothic palace of Ca' Foscari, from ...

. He received th
2022 EATCS award
which is given by

EATCS The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career. He is a knight (

Chevalier Chevalier may refer to: Honours Belgium * a rank in the Belgian Order of the Crown * a rank in the Belgian Order of Leopold * a rank in the Belgian Order of Leopold II * a title in the Belgian nobility France * a rank in the French Legion d'h ...

) in the

Ordre National du Mérite The Ordre national du Mérite (; en, National Order of Merit) is a French order of merit with membership awarded by the President of the French Republic, founded on 3 December 1963 by President Charles de Gaulle. The reason for the order's estab ...

and the

Ordre des Palmes académiques A suite, in Western classical music and jazz, is an ordered set of instrumental or orchestral/ concert band pieces. It originated in the late 14th century as a pairing of dance tunes and grew in scope to comprise up to five dances, sometimes with ...

, member of the

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

, Informatics section (since 2006) and member of the Board of Trustees at the IMDEA Software Institute.

References

Short biography

External links

Patrick Cousot home page
at

NYU New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then-Secretary of the Treasury Albert Gallatin. In 1832, the ...

Patrick Cousot home page
at ENS
Patrick Cousot home page
at

MIT The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the m ...

* * 1948 births Living people French computer scientists Programming language researchers Recipients of the Ordre des Palmes Académiques École Polytechnique faculty {{France-compu-bio-stub