Patrick Cousot's Home Page at NYU

Patrick COUSOT

   Professor of Computer Science
   Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor
   Courant Institute of Mathematical Sciences
   New York University

Short biography

Biography on Wikipedia, the Engineering and Technology History Wiki, IEEE Computer Society, (and many others, probably resulting from automated plagiarism: People Pill, HowOld, Web Developers Notes, DBpedia, Wiki Data, WikiVisually, WorldCat Identities)

Courses

Principles of Abstract Interpretation, Università Ca'Foscari, Venice, Italy, May 23--27, 2022
CSCI-GA.3110-001, fall 2022, Honors Programming Languages, 60 Vth Ave, C15, TR 3:30—4:45 PM, Course presentation accessible with a NYU login and password, course repository (accessible to registered students, email to the instructor to get a login and password)
CSCI-GA.3140-001, spring 2023, Abstract Interpretation, Mondays 4:55—6:55 PM (accessible to registered students, email to the instructor to get a login) and course presentation (accessible with an NYU Id and password)

Research interests (Abstract interpretation)

https://www.facebook.com/groups/49970608944

https://www.linkedin.com/groups/Abstract-Interpretation-6787819

_{(Radhia Cousot Award)}

I work on formal methods (i.e. how to use mathematics to design programs) as opposed to software engineering (i.e. how to design programs avoiding any use of mathematics). Abstract interpretation is a mathematical theory to design program semantics (formalizing what programs do when executed), program properties (formalizing what are the interesting properties of program executions), deductive program verification (how to formally prove that program executions do have formal properties, including model checking), and program analysis (how to mechanically infer formal properties of program executions, including typing).

Book

The book ``Principles of Abstract Interpretation'' is available at MIT Press since September 21st, 2021 (ISBN-13: 978-0262044905, ISBN-10: 0262044900). The book webpage is https://github.com/PrAbsInt.
Slides in support of the book « Principles of Abstract Interpretation » book

A review by Reinhard Wilhelm

Projects

Publications (by research themes), talks, and summer schools

Patrick Cousot.
Calculational Design of a Regular Model Checker by Abstract Interpretation
Theoretical Computer Science, Volume 869, 12 May 2021, Pages 62-84.

Chaoqiang Deng, Patrick Cousot.
The Systematic Design of Responsibility Analysis by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 44(1): 3:1-3:90 (2022)

Patrick Cousot.
Asynchronous Correspondences Between Hybrid Trajectory Semantics.
J.-F. Raskin and K. Chatterjee (Eds.): Principles of Systems Design, LNCS 13660, Springer, 2023

Patrick Cousot.
Abstract Interpretation: From 0, 1, To ∞.
V. Arceri, A. Cortesi, P. Ferrara, and M. Olliaro (Eds.): Challenges of Software Verification, ISRL 238, Springer Nature Singapore, March 2023

Patrick Cousot.
Abstract Interpretation of Graphs
P. López-García, J. P. Gallagher, and R. Giacobazzi (Eds.), LNCS 13160, Springer, 2023.

Talks

Patrick Cousot. Dynamic Abstract Interpretation. Invited talk at SOAP 2021, Tuesday, June 22^nd, 2021.

Patrick Cousot. Abstract interpretation: from principles to application. J.P. Morgan Chase Distinguished Lecture Series, Wednesday, June 30^th, 2021 (slides)

Patrick Cousot. Abstract Interpretation. Dottorato di Ricerca Honoris Causa in Computer Science, Aula Baratto, Università Ca' Foscari, Dorsoduro 3246, Venezia, Italy, Friday May 20^th, 2022, see pictures and the following Challenges of software verification workshop.

Patrick Cousot. Asynchronous Correspondences Between Hybrid Trajectory Semantics In Invited talks, IMDEA, Madrid, Spain, Tuesday, May 31, 2022

Patrick Cousot. Abstractions of Hybrid Semantics, In ICALP 2022, EATCS award talk, Paris, France, Wednesday July 6, 2022

Summer schools

A Tutorial on Abstract Interpretation, ICTAC 2019, Hammamet, Tunisia, October 31, 2019

Conferences

SAS 2022: 28th International Symposium on Static Analysis, Mon 5 - Wed 7 December 2022 Auckland, New Zealand (Radhia Cousot Award)

Seminars

Dagstuhl Seminar 16471, Concurrency with Weak Memory Models: Semantics, Languages, Compilation, Verification, Static Analysis, and Synthesis, co-organizer with Jade Alglave and Caterina Urban, Sunday, November 20, 2016 to Friday, November 25, 2016

Program committees

SAS 2023, Sun 22-Tue 24 October 2023 Cascais, Portugal

Honors

Contact at NYU

Bibliography

ACM
Core
DBLP
Google Scholar
Microsoft Academic
NYU Scholar
Semantic Scholar
Scopus
Elsevier (where I discovered I am a specialist in "Surface mount technology", "Costs", "Explosions", "Chemical analysis", etc and now "Acoustic waves", so artificially intelligent)
The Collection of Computer Science Bibliographies
Springerlink
Research Gate
BibSLEIGH
Guide2Research
CS ranking

Honors

Others

The French Breputation review website founded by my son Laurent Cousot.

Professor of Computer Science Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor Courant Institute of Mathematical Sciences New York University

Professor of Computer Science
Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor
Courant Institute of Mathematical Sciences
New York University