Patrick Cousot
Sign in to saveFrench computer scientist
Person · Open Library
- Works
- 4
Top works
- Static Analysis and Verification of Aerospace Software by Abstract Interpretation
- Principles of Abstract Interpretation
- Static Analysis
- Algorithmique et programmation en pascal
via Open Library + Wikidata
Described at
Link to a page describing this subject · not written by Vinony
Wikidata facts
- Instance of
- human
- Given name
- Patrick
- Gender
- male
- Citizenship
- France
- Place of birth
- New York City
- Spouse
- Radhia Cousot
- Occupation
- researcher
- Educated at
- Joseph Fourier University
- Employer
- New York University
- Languages spoken
- English language
- Award
- ACM Fellow
- Field of work
- computer science
- Image
- Patrick Cousot 0743-c.jpg
- Residence
- New York City
Show 6 more facts
- Commons category
- Patrick Cousot
- date of birth
- 1948-12-03
- name in native language
- Patrick Cousot
- member of
- Association for Computing Machinery
- described at URL
- comihistocnrs.hypotheses.org/2706
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0