iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: http://cs.nyu.edu/~pcousot

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

• 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)

• 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)

• 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)

• 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

• A mostly non-technical video by Reinhard Wilhelm introducing static analysis for program verification
• Astrée

• 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

• 2022 WhatsApp Privacy Aware Program Analysis

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

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

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

• SAS 2023, Sun 22-Tue 24 October 2023 Cascais, Portugal

• Web page at ENS
• Web page at MIT
• Web page on GitHub

• 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