Patrick Cousot

Patrick Cousot (Pont-l'Évêque, 3 dicembre 1948^[1]) è un informatico francese.

Insieme alla moglie Radhia (1947–2014), Cousot è il creatore dell'interpretazione astratta^[2], una tecnica molto utilizzata per la verifica e l'ottimizzazione di programmi. Negli anni 2000 ha lavorato all'analisi statica di software integrati ad alta criticità (Astrèe) come quelli usati in avionica. È stato professore di informatica all'École Normale Supérieure (ENS) a Parigi fin dal 1991^[3]^[4]. 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 SIGPLAN^[5], nel 2014 ha ricevuto insieme a sua moglie il premio Harlan D. Millis dall'IEEE Computer Society^[6].

Note[modifica | modifica wikitesto]

^ Curriculum Vitae di Patrick Cousot aggiornato al 2007 (PDF), su di.ens.fr.
^ Patrick Cousot e Radhia Cousot, Abstract interpretation, in Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77, ACM Press, 1977, DOI:10.1145/512950.512973. URL consultato il 17 novembre 2018.
^ Patrick Cousot's Home Page at NYU, su cs.nyu.edu. URL consultato il 18 novembre 2018.
^ Patrick Cousot, su di.ens.fr. URL consultato il 18 novembre 2018.
^ (EN) Programming Languages Achievement Award, su sigplan.org. URL consultato il 17 novembre 2018.
^ (EN) Patrick and Radhia Cousot • IEEE Computer Society, su computer.org. URL consultato il 17 novembre 2018.

Controllo di autorità	VIAF (EN) 72073515 · ISNI (EN) 0000 0001 0986 3767 · LCCN (EN) n93078898 · GND (DE) 1248540026 · BNF (FR) cb120672289 (data) · J9U (EN, HE) 987007457339705171 · WorldCat Identities (EN) lccn-n93078898