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 2024, 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 2025, 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)

Summer schools

Lipari Summer School on Abstract Interpretation, September 1st — September 7th, 2024 (course material, send me email to get a login and password), J.T. Schwartz International School Research, liparischool@dmi.unici.it)

Applications requests left unanswered

I do not answer application requests to

monitor a research project for high-schoolers (since the necessary mathematical background in set theory, order theory, and logic is not taught in high school);
RA, TA, GA from students that have not followed all my classes with success;
masters applications, apply instead to cs.nyu.edu/home/master/prospective_admission.html
PhD applications not in abstract interpretation and its applications to semantics, verification and static analysis, in all cases apply instead to cs.nyu.edu/home/phd/admission.html

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

2022 WhatsApp Privacy Aware Program Analysis

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

Recent publications (with papers, slides, and presentation recordings when available):

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 (to appear).

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
Patrick Cousot.
A Personal Historical Perspective on Abstract Interpretation
In The French School of Programming, Bertrand Meyer (Ed), pp. 205—239, © Springer, June 2024.
Patrick Cousot.
On the Design of Program Logics
In Podelski's Festchrift, 15 p., © Springer, 2024 (to appear).
Patrick Cousot and Jeffery Wang.
Calculational Design of Hyperlogics by Abstract Interpretation In POPL 2025, ACM, 2025 (to appear).

Talks

Recent talks (with slides, and presentation recordings when available)::

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.

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
ScholarGPS

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