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

Warning

My twitter account https://twitter.com/Pcofnyc has been compromised by an imposter, Twitter does not look ready to stop the steal. I am in no way responsible for the incongruities appearing on this page, but Twitter is! (see cnn, rand, newyorker, business insider, cnbc, etc.)

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, Net Worth, Web Developers Notes, DBpedia, WikiVisually)

Courses

CSCI-GA.3140-001, spring 2022, 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)
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)

Research interests (Abstract interpretation)

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

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

https://twitter.com/@AbsInterpret

http://www.staticanalysis.org/

_{(Radhia Cousot Award)}

VMCAI

A mostly non-technical video by Reinhard Wilhelm introducing static analysis for program verification

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.

Projects

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

Patrick Cousot. The Symbolic Term Abstract Domain.
In The 14th International Symposium on Theoretical Aspects of Software Engineering, December 11-13, 2020, Hangzhou, China.

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. 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

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

Conference organization

SAS 2017, 24th Static Analysis Symposium August 30th—September 1st, 2017, New York City, NY, USA

Home page NYU

NYC

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

Others

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

Last modified:#echo var="LAST_MODIFIED"