2026 Patrick Cousot: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	53	4678	4547	2170	2094	167	27247

Research.com Recognitions

2020 - ACM Fellow For contributions to programming languages through the invention and development of abstract interpretation
2018 - IEEE John von Neumann Medal “For introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimization.”
2006 - Member of Academia Europaea
Ordre des Palmes académiques (Order of Academic Palms), France
Ordre des Palmes académiques (Order of Academic Palms), France
Ordre des Palmes académiques (Order of Academic Palms), France

Overview

Patrick Cousot is affiliated with New York University in the United States. Their primary field of study is Computer Science, with a focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Software, Computer Networks and Communications, and Hardware and Architecture.

Their research addresses multiple topics, notably:

Logic, programming, and type systems
Formal Methods in Verification
Security and Verification in Computing
Software Testing and Debugging Techniques
Distributed systems and fault tolerance
Polynomial and algebraic computation
Numerical Methods and Algorithms

Frequent coauthors collaborating with Cousot include Chaoqiang Deng and Jeffery Wang.

Publications have appeared in several venues, with multiple contributions to:

Proceedings of the ACM on Programming Languages
arXiv (Cornell University)
ACM Transactions on Programming Languages and Systems
Theoretical Computer Science

Recent papers authored by Patrick Cousot include:

Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation, 2024, Proceedings of the ACM on Programming Languages
Calculational design of a regular model checker by abstract interpretation, 2021, Theoretical Computer Science
Calculational Design of Hyperlogics by Abstract Interpretation, 2025, Proceedings of the ACM on Programming Languages
Asynchronous Correspondences Between Hybrid Trajectory Semantics, 2022, arXiv (Cornell University)

Among their recognized awards are:

ACM Fellow, 2020, for contributions to programming languages through the invention and development of abstract interpretation
IEEE John von Neumann Medal, 2018, for introducing abstract interpretation, a framework for automatically calculating program properties with application to verification and optimization
Member of Academia Europaea, 2006
Ordre des Palmes académiques (Order of Academic Palms), France

Best Publications

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

Patrick Cousot;Radhia Cousot

9063
Citations
Automatic discovery of linear restraints among variables of a program

Patrick Cousot;Nicolas Halbwachs

2209
Citations
Systematic design of program analysis frameworks

Patrick Cousot;Radhia Cousot

2172
Citations
Abstract Interpretation Frameworks

Patrick Cousot;Radhia Cousot

1039
Citations
Abstract interpretation and application to logic programs

Patrick Cousot;Rahida Cousot

936
Citations
A static analyzer for large safety-critical software

Bruno Blanchet;Patrick Cousot;Radhia Cousot;Jérome Feret

928
Citations
Static determination of dynamic properties of programs

Patrick Cousot;Radhia Cousot

742
Citations
The ASTREÉ analyzer

Patrick Cousot;Radhia Cousot;Jerôme Feret;Laurent Mauborgne

700
Citations
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

Patrick Cousot;Radhia Cousot

640
Citations
Abstract interpretation

Patrick Cousot

395
Citations
Semantic foundations of program analysis

Patrick Cousot

341
Citations
Constructive versions of tarski's fixed point theorems

Patrick Cousot;Radhia Cousot

333
Citations
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software

Bruno Blanchet;Patrick Cousot;Radhia Cousot;Jérôme Feret

311
Citations
Inductive definitions, semantics and abstract interpretations

Patrick Cousot;Radhia Cousot

287
Citations
Types as abstract interpretations

Patrick Cousot

279
Citations
Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming

Patrick Cousot

269
Citations
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Patrick Cousot

255
Citations
Static determination of dynamic properties of recursive procedures

Patrick Cousot;Radhia Cousot

245
Citations
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes

Patrick Cousot

243
Citations
Modular Static Program Analysis

Patrick Cousot;Radhia Cousot

235
Citations
Abstract Interpretation Based Formal Methods and Future Challenges

Patrick Cousot

229
Citations
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation (Extended Abstract)

Patrick Cousot

62
Citations

Frequent Co-Authors

Radhia Cousot Centre national de la recherche scientifique, CNRS

Bruno Blanchet French Institute for Research in Computer Science and Automation - INRIA

Manuel Fähndrich Google (United States)

Jean-François Raskin Université Libre de Bruxelles

Tiziana Margaria University of Limerick

Nicolas Halbwachs Grenoble Alpes University

Byron Cook Amazon (United States)

Marco Pistoia JPMorgan Chase & Co (United States)

Flemming Nielson Technical University of Denmark

Jonathan P. Bowen London South Bank University

External Links

Wikipedia of Patrick Cousot Personal website of Patrick Cousot Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

For students interested in studying Computer Science in the USA, exploring related online degrees can offer valuable alternative pathways and career opportunities. Programs in STEM fields, such as the best online physics degree options, can provide a strong foundation in analytical thinking and problem-solving skills useful in tech roles.

If you're drawn to data analytics, there are many affordable data science degree programs in the USA that can prepare you for in-demand roles like data scientist or machine learning engineer. Similarly, for those interested in hardware or systems, enrolling in one of the best online electrical engineering programs USA can help you develop expertise at the intersection of computing and electronics.

For a quicker entry into the tech workforce, consider quick certifications that pay well—many of which offer flexible online formats and focus on skills currently sought after by employers.