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

Courses

CSCI-GA.3140-001, spring 2021, Abstract Interpretation, Online, Mondays 9:30—11:20 AM NYC time, email to the instructor to get a login
CSCI-GA.3110-001, fall 2021, Honors Programming Languages, 60 Vth Ave, C15, TR 3:30—4:45 PM

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 will be available at MIT Press on September 21st, 2021. 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.

Patrick Cousot. Is Static Analysis Successful?. Online seminar series on Verification beyond 2020, Tuesday, July 7^th, 2020.

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)

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

Conferences

SAS 2020: 26th International Symposium on Static Analysis, Chicago, Il, Wed 18 to Fri 20 November 2020 (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

VMCAI 2022, 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, PA, January 16-18, 2022.

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

Others

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

Last modified:#echo var="LAST_MODIFIED"