Neste Dia

Patrick Cousot

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

Anúncio

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

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.

É cavaleiro da Ordem Nacional do Mérito e da Ordem das Palmas Acadêmicas.

Recebeu a Medalha John von Neumann IEEE de 2018.

Patrick Cousot home page at NYU

Patrick Cousot home page at ENS

Patrick Cousot home page at MIT

Lista de publicações do Digital Bibliography & Library Project.

Patrick Cousot (em inglês) no Mathematics Genealogy Project

Anúncio

Em breve no aplicativo World in Stories

Áudio, download offline, sem anúncios e muito mais.

Conhecer Premium
Patrick Cousot | World in Stories