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
Article · Italiano
Patrick Cousot (Pont-l'Évêque, 3 dicembre 1948) è un informatico francese. Insieme alla moglie (1947–2014), Cousot è il creatore dell'interpretazione astratta, una tecnica molto utilizzata per la verifica e l'ottimizzazione di programmi. Negli anni 2000 ha lavorato all' di software integrati ad alta criticità come quelli usati in avionica. È stato professore di informatica all'École Normale Supérieure (ENS) a Parigi fin dal 1991. Dal 2008, Cousot è professore di informatica all'Università di New York. Patrick Cousot è cavaliere dell'Ordine nazionale al merito (francese) dell'Ordine delle Palme accademiche. Nel 1999 ha ricevuto la medaglia d'argento del CRNS e nel 2006 il gran premio della fondazione EADS. Nel 2001, ha ricevuto un dottorato ad honorem dall'Università del Saarland, Germania. Insieme a Radhia Cousot, ha ricevuto nel 2013 il Programming Languages Achievement Award conferito dall'ACM , nel 2014 ha ricevuto insieme a sua moglie il premio dall'IEEE Computer Society.
Abstract from DBpedia / Wikipedia · CC BY-SA