Category:Patrick Cousot

**Patrick Cousot**
	French computer scientist
	Carregar ficheiro
	Wikipédia
Nome no idioma nativo	Patrick Cousot;
Data de nascimento	3 de dezembro de 1948; Nova Iorque
País de nacionalidade	França;
Residência	Nova Iorque;
Alma mater	Escola Nacional de Minas de Nancy;
Doutorando	Antoine Miné; David Monniaux; Jérôme Feret; Nicolas Halbwachs; Eric Goubault;
Ocupação	cientista da computação; engenheiro; investigador;
Membro de	Academia Europaea (AE section Informatics, 2006–); Association for Computing Machinery (ACM Fellow, 2021–);
Área de trabalho	ciência de computadores;
Cônjuge	Radhia Cousot;
Distinção	Harlan D. Mills Award (2014); Programming Languages Achievement Award (2013); honorary doctor of the Saarland University (2001); Medalha John von Neumann IEEE (2018); CNRS silver medal (1999); ACM Fellow (2020);
Arquivo de autoridade
	Q2385483; ISNI: 0000000109863767; identificador VIAF: 72073515; identificador GND: 1248540026; número de controlo da Biblioteca do Congresso: n93078898; identificador BnF: 120672289; identificador idRef: 02894061X; identificador AUT NKC: ntk2011669433; identificador NTA PPN: 111374898; identificador NUKAT: n99000537; identificador J9U da Biblioteca Nacional de Israel: 987007457339705171; identificador do Mathematics Genealogy Project: 122541
	Reasonator; Scholia; Wikidocumentaries; PetScan; estatística; WikiMap; Locator tool; ficheiro KML; Pesquisa retratada;