- Biography on Wikipedia,
the Engineering and Technology History Wiki,
IEEE Computer Society,
(and many others, probably resulting from automated plagiarism: People Pill,
Web Developers Notes,
- CSCI-GA.3110-001, fall 2023, 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 2024, 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)
(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).
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)
Asynchronous Correspondences Between Hybrid Trajectory Semantics.
J.-F. Raskin and K. Chatterjee (Eds.): Principles of Systems Design, LNCS 13660, Springer, 2023
Abstract Interpretation: From 0, 1, To ∞.
V. Arceri, A. Cortesi, P. Ferrara, and M. Olliaro (Eds.): Challenges of Software Verification, ISRL 238, Springer Nature Singapore, March 2023
Abstract Interpretation of Graphs
P. López-García, J. P. Gallagher, and R. Giacobazzi (Eds.), LNCS 13160, Springer, 2023.
The Contributions of Alan Mycroft to Abstract Interpretation
Symposium and festschrift to celebrate the work of Prof. Alan Mycroft, 1st December, 2023,
Department of Computer Science and Technology, Cambridge, UK.
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.
Proc. ACM Program. Lang. 8, POPL, Article 7 (January 2024), 33 pages.
Dottorato di Ricerca Honoris Causa in Computer Science, Aula Baratto, Università Ca' Foscari, Dorsoduro 3246, Venezia, Italy,
Friday May 20th, 2022, see pictures and the following Challenges of software verification workshop.
Asynchronous Correspondences Between
Hybrid Trajectory Semantics
In Invited talks, IMDEA,
Madrid, Spain, Tuesday, May 31, 2022
Abstractions of Hybrid Semantics,
In ICALP 2022,
EATCS award talk,
Paris, France, Wednesday July 6, 2022
Is Peter Correct or Incorrect?
O'Hearn Fest, POPL 2024, London, UK, Sun. Jan 14th, 2024.