Patrick Cousot

Patrick Cousot
	Patrick Cousot
Nascimento	3 de dezembro de 1948; Nova Iorque
Residência	Nova Iorque
Cidadania	França
Cônjuge	Radhia Cousot
Alma mater	Escola Nacional de Minas de Nancy; Universidade Joseph Fourier;
Ocupação	cientista de computação, engenheiro, pesquisador
Distinções	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 (For contributions to programming languages through the invention and development of abstract interpretation, 2021, 2020);
Empregador(a)	Centre National de la Recherche Scientifique, Escola Politécnica, Escola Normal Superior de Paris, Universidade de Nova Iorque
	[edite no Wikidata]

Patrick Cousot (3 de dezembro de 1948) é um cientista da computação francês.^[1]

Juntamente com sua mulher Radhia Cousot (1947–2014) é originador da interpretação abstrata, uma influente técnica em métodos formais. Na década de 2000 trabalhou com métodos práticos de análise estatística de programas. Foi professor de ciência da computação da Escola Normal Superior de Paris desde 1991. Em março de 2008 tornou-se professor de ciênmcia da computação da Universidade de Nova Iorque.