Patrick Cousot
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 77 |
| Date of birth | December 3,1948 |
| Zodiac sign | Sagittarius |
| Spouse | Radhia Cousot |
| Residence | New York |
| New York | |
| United States | |
| Known for | Abstract interpretation |
| Education | Ecole des Mines de Nancy |
| Joseph Fourier University | |
| Books | Introduction a L'Algorithm Numerique |
| Static Analysis and Verification of Aerospace Software by Abstract Interpretation | |
| Principles of Abstract Interpretation | |
| Born | France |
| Affiliations | New York University |
| Current partner | Radhia Cousot |
| Doctor advisor | Michael Griffiths (1974), Philippe Jorrand (1978) |
| Interests | Abstract Interpretation |
| Semantics | |
| Verification | |
| Formal Methods | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1098463 |
Patrick Cousot Life story
Patrick Cousot is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA.
Patrick Cousot Photos
