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

• NSF Grant CNS-1446511 (CPS: Breakthrough: Cyber-Physical System Securitization by Responsibility Analysis)
• NSF Grant CCF-1617717 (SHF:Small: Semantics, Static Analysis, and Refencing of Concurrent Programs with Weak Memory Models)

• Patrick Cousot, Roberto Giacobazzi, and Francesco Ranzato. Program Analysis Is Harder Than Verification: A Computability Perspective. 30th International Conference on Conference on Computer-Aided Verification (CAV 2018), July 14-17, Oxford, UK.
  

• Patrick Cousot. Analyse statique de dépendance par interprétation abstraite. Journée en l'honneur de Nicolas Halbwachs, (Nicolas Halbwachs's Fest), Grenoble, France, Lundi 4 juin 2018.

• SAS 2018: 25th International Symposium on Static Analysis, Freiburg, Germany, August 29-31, 2018 (Radhia Cousot Award)

• CSCI-GA 3033-017, spring 2018, Abstract Interpretation
• CSCI-GA.3110-001, fall 2018, Honors Programming Languages

• 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

• VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation

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

• Web page at ENS
• Web page at MIT

• Core
• DBLP
• Google Scholar
• Microsoft Academic
• Semantic Scholar
• Scopus
• Elsevier (where I discovered I am a specialist in "Surface mount technology", "Costs", "Explosions", "Chemical analysis", etc so artificially intelligent)
• The Collection of Computer Science Bibliographies