Patrick Cousot e Strzyża: differenze tra le pagine

Versione delle 15:41, 25 dic 2018

Versione delle 15:44, 27 lug 2019

Riga 1:

{{S|Pomerania}}

[[File:Patrick Cousot 0743-c.jpg|thumb|Patrick Cousot (2007).]]

{{Divisione amministrativa

'''Patrick Cousot''' ([[Pont-l'Évêque (Normandia)|Pont-l’Évêque]], 3 Dicembre 1948)<ref>{{Cita web|url=https://www.di.ens.fr/~cousot/cv/CV_P_Cousot.pdf|titolo=Curriculum Vitae di Patrick Cousot aggiornato al 2007}}</ref> è un informatico teorico [[Francia|francese]].

|Nome = Strzyża

|Nome ufficiale =

|Panorama =

|Didascalia =

|Bandiera =

|Stemma =

|Stato = POL

|Grado amministrativo = 4

|Divisione amm grado 1 = Pomerania

|Divisione amm grado 2 = Danzica

|Divisione amm grado 3 = Danzica

|Divisione amm grado 4 =

|Capoluogo =

|Amministratore locale = [[Aleksandra Dulkiewicz]]

|Partito = [[Piattaforma Civica|PO]]

|Data elezione =

|Data istituzione =

|Latitudine gradi = 54

|Latitudine minuti = 22

|Latitudine secondi =

|Latitudine NS = N

|Longitudine gradi = 18

|Longitudine minuti = 38

|Longitudine secondi =

|Longitudine EW = E

|Altitudine =

|Superficie = 1.09

|Note superficie =

|Abitanti = 5759

|Note abitanti =

|Aggiornamento abitanti = 2011

|Sottodivisioni =

|Divisioni confinanti =

|Lingue =

|Codice postale =

|Prefisso = (+48) 58

|Codice ISO =

|Codice statistico =

|Nome abitanti =

|Immagine localizzazione =

|Mappa = Gdansk strzyza.svg

|Sito =

}}

'''Strzyża''' (in [[Lingua tedesca|tedesco]]: ''Striess, Strūss'') è una [[Frazioni della Polonia|frazione]] di [[Danzica]], situata nella parte centro-occidentale della città.

== Altri progetti ==

Insieme alla moglie [[Radhia Cousot|Radhia]] (1947–2014), Cousot è il creatore dell'[[interpretazione astratta]]<ref>{{Cita pubblicazione|nome=Patrick|cognome=Cousot|data=1977|titolo=Abstract interpretation|rivista=Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77|editore=ACM Press|accesso=2018-11-17|doi=10.1145/512950.512973|url=http://dx.doi.org/10.1145/512950.512973|nome2=Radhia|cognome2=Cousot}}</ref>, 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|École Normale Supérieure]] (ENS) a Parigi fin dal 1991<ref>{{Cita web|url=https://cs.nyu.edu/~pcousot/|titolo=Patrick Cousot's Home Page at NYU|sito=cs.nyu.edu|accesso=2018-11-18}}</ref><ref>{{Cita web|url=https://www.di.ens.fr/~cousot/cv/short.shtml|titolo=Patrick Cousot|sito=www.di.ens.fr|accesso=2018-11-18}}</ref>. Dal 2008, Cousot è professore di informatica all'[[Università di New York]]. Patrick Cousot è [[Cavalierato|cavaliere]] dell'[[Ordine nazionale al merito (Francia)|Ordine nazionale al merito (francese)]] dell'[[Ordine delle Palme accademiche]]. Nel 1999 ha ricevuto la medaglia d'argento del [[Centre national de la recherche scientifique|CRNS]] e nel 2006 il gran premio della fondazione [[Airbus|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'[[Association for Computing Machinery|ACM]] [[SIGPLAN]]<ref>{{Cita web|url=https://www.sigplan.org/Awards/Achievement/|titolo=Programming Languages Achievement Award|sito=www.sigplan.org|lingua=en|accesso=2018-11-17}}</ref>, nel 2014 ha ricevuto insieme a sua moglie il premio [[Harlan D. Millis]] dall'[[IEEE Computer Society]]<ref>{{Cita web|url=https://www.computer.org/web/awards/mills-patrick-radhia-cousot|titolo=Patrick and Radhia Cousot • IEEE Computer Society|sito=www.computer.org|lingua=en-US|accesso=2018-11-17}}</ref>.

{{interprogetto|commons=Category:Strzyża (Gdańsk)}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

{{Danzica}}

== Bibliografia ==

{{Portale|Polonia}}

[[Categoria:NatiQuartieri neldi 1948Danzica]]

* [http://www.di.ens.fr/~cousot/cv/short.shtml Breve Biografia]<br />

== Altri progetti ==

{{interprogetto}}

== Link Esterni ==

* [http://cs.nyu.edu/~pcousot/ Patrick Cousot home page] at [[Università di New York|NYU]]

* [http://www.di.ens.fr/~cousot/ Patrick Cousot home page] at ENS

* [http://www.mit.edu/~cousot/ Patrick Cousot home page] at [[Massachusetts Institute of Technology|MIT]]

* {{DBLP|name=Patrick Cousot}}DBLP{{DBLP|name=Patrick Cousot}}

* {{MathGen}}

{{Controllo di autorità}}

[[Categoria:Nati nel 1948]]

[[Categoria:Informatici francesi]]

[[Categoria:Persone viventi]]

[[Categoria:Ordine delle Palme Accademiche]]