Prof. Patrick Cousot — Research Profile
New York University · Department of Computer Science (Courant Institute of Mathematical Sciences)
Graduate application deadlines
Department of Computer Science (Courant Institute of Mathematical Sciences)
PhD in Computer Science
Fall 2027Application deadline
Dec 12, 2026
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.nyu.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Patrick Cousot at New York University Department of Computer Science (Courant Institute of Mathematical Sciences) lists Abstract interpretation, semantics, verification, static analysis as their registered research area.
Research keywords
Recent papers
- Nonstandard Axiomatic SemanticsPreprintarXiv (Cornell University) · Aug 24
- Ceci n'est pas une pipe: AI systems as semantic abstractionsPreprintarXiv (Cornell University) · Jul 10
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Clark Barrett Lab
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · Sep 1Zachary Tatlock Lab
University of Washington · Paul G. Allen School of Computer Science & Engineering
egg: Fast and Extensible Equality SaturationCommunications of the ACM · Jul 29Cyrus Omar Lab
University of Michigan · Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science)
Bidirectional Type SlicingPreprintarXiv (Cornell University) · Jul 13
Other labs in this department
- Alan Siegel Lab
VLSI design, analysis of algorithms, lower bounds, parallel algorithms, probability, combinatorial geometry
- Allen Liu Lab
Machine Learning Theory, Algorithms, Quantum Information
- Andrew Gordon Wilson Lab
Machine learning, Bayesian statistics, numerical linear algebra
- Anirudh Sivaraman Lab
Programmable routers, computer networks, hardware and software for computer systems
- Anupam Gupta Lab
Algorithms, Theoretical Computer Science, Metric Embeddings
- Aurojit Panda Lab
Distributed systems, systems, networking