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

CSCI-GA.3110-001, fall 2023, Honors Programming Languages, 60 Vth Ave, room 261, TR 3:30—4:45 PM, course repository accessible to registered students (email to the instructor to get a login and password) and course presentation (accessible with a NYU Id and password)
CSCI-GA.3140-001, spring 2024, Abstract Interpretation,CIWW, room 202, M 4:55—6:55 PM, course repository accessible to registered students (email to the instructor to get a login and password) 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

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.

Patrick Cousot.
The Contributions of Alan Mycroft to Abstract Interpretation In Symposium and festschrift to celebrate the work of Prof. Alan Mycroft, 1st December, 2023, Department of Computer Science and Technology, Cambridge, UK.

Patrick Cousot.
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.
In Proc. ACM Program. Lang. 8, POPL, Article 7 (January 2024), 33 pages. doi.org/10.1145/3632849

Talks

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

Patrick Cousot.
Is Peter Correct or Incorrect? In O'Hearn Fest, POPL 2024, London, UK, Sun. Jan 14th, 2024.

Summer schools

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

Conferences

SAS 2023: 30th Static Analysis Symposium, Sun 22 - Tue 24 October 2023 Cascais, Portugal (Radhia Cousot Award)

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

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