Patrick Cousot
Scholar

Patrick Cousot

Google Scholar ID: mhlvI8wAAAAJ
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
Abstract InterpretationSemanticsVerificationFormal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
29,810
 
H-index
55
 
i10-index
115
 
Publications
20
 
Co-authors
15
list available
Publications
2 items
Nonstandard Axiomatic Semantics
2026
Cited
0
Ceci n'est pas une pipe: AI systems as semantic abstractions
2026
Cited
0
Co-authors
9 total
David Monniaux
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Jade Alglave
Jade Alglave
ARM and University College London
Liqian Chen
Liqian Chen
Professor, National University of Defense Technology, China
Omer Tripp
Omer Tripp
Amazon
Marco Pistoia
Marco Pistoia
Senior Vice President of Industry Relations, IonQ
Roberto Giacobazzi
Roberto Giacobazzi
Professor of Computer Science, University of Arizona
Jean-François Raskin
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute