Patrick Cousot
Patrick Cousot (nascido em 3 de dezembro de 1948 na cidade de Nova York ) é um cientista da computação francês.
Estudou na École nationale supérieure des mines de Nancy e na Universidade de Grenoble , onde se doutorou em 1974 com Michael Griffiths , com a segunda parte do doutorado francês, o Doctorat d'Etat, em 1978 com Philippe Jorrand . Ele fez pesquisas para o CNRS na Universidade de Grenoble, foi professor em Metz e na École Polytechnique e foi professor na École normal supérieure de 1991 . Mais tarde, ele se tornou professor do Courant Institute of Mathematical Sciences da New York University .
Ele era professor visitante do Departamento de Aeronáutica e Astronáutica do MIT.
Com sua esposa Radhia Cousot, ele desenvolveu o método de interpretação abstrata em análise de programas por volta de 1975 . Em 2013, eles receberam o Prêmio Harlan D. Mills da IEEE Computer Society e, no mesmo ano, o Prêmio de Realização de Linguagens de Programação da ACM SIGPLAN . Em 2006, ele recebeu com sua esposa o Grande Prêmio EADS (Airbus) de Ciência da Computação pelo desenvolvimento de software de verificação de erros para sistemas embarcados (Astrée) e em 1999 a medalha de prata do CNRS. Ele é um doutor honorário da Universidade de Saarland (2001), Cavaleiro da Ordre National du Mérite e da Ordre des Palmes Académiques . Desde 2006 é membro titular da Academia Europaea . Em 2008 ele recebeu o Prêmio de Pesquisa Humboldt . Em 2018, ele foi premiado com a Medalha John von Neumann do IEEE.
Links da web
Evidência individual
- ↑ Patrick Cousot no Projeto Genealogia da Matemática (inglês)
- ^ Diretório da associação: Patrick Cousot. Academia Europaea, acessado em 1 de setembro de 2017 .
| dados pessoais | |
|---|---|
| SOBRENOME | Cousot, Patrick |
| PEQUENA DESCRIÇÃO | Cientista da computação francês |
| DATA DE NASCIMENTO | 3 de dezembro de 1948 |
| LOCAL DE NASCIMENTO | Cidade de Nova York |