Patrick Cousot

Patrick Cousot Imagem na Infobox. Patrick Cousot dando uma conferência na EPFL em 2007. Biografia
Aniversário 3 de dezembro de 1948
Nova York
Nacionalidade francês
Casa Nova york
Treinamento Escola Nacional de Minas de Nancy
Atividades Cientista da computação , engenheiro
Cônjuge Radhia Cousot
Outra informação
Campo Ciência da Computação
Membro de Academia Europaea (2006)
Mestres Michael Griffiths ( d ) , Philippe Jorrand ( d )
Prêmios

Patrick Cousot (nascido em3 de dezembro de 1948) é professor-pesquisador de ciência da computação francesa , professor emérito da École normale supérieure de Paris .

Com sua esposa Radhia Cousot , ele define a interpretação abstrata , uma técnica do método formal . Como tal, eles receberam o ACM SIGPLAN em 2013 e o Harlan D. Mills Prize da IEEE Computer Society em 2014. 

Rota

Patrick Cousot é engenheiro da École des Mines de Nancy , onde se formou em 1971 . Em 1974 , ele defendeu seu doutorado tese no 3 rd  ciclo, e em 1978 sua tese de Estado em ciências matemáticas na Universidade de Grenoble  ; o último dizia respeito à formulação da interpretação abstrata , seu principal objeto de pesquisa desde então. É uma teoria da aproximação do comportamento dos programas de computador, permitindo nomeadamente fazer análises automáticas dos mesmos.

Em 1974 ingressou no CNRS . Em 1979 , tornou-se professor nas universidades de Metz, onde atuou na implantação de cursos de informática. Em 1984 , tornou-se professor da École polytechnique , onde trabalhou para fundar o laboratório de informática da École polytechnique (LIX). Em 1991 , ingressou na École normale supérieure, permanecendo como professor em tempo parcial na Polytechnique até 1997. Tornou-se diretor de estudos de computação e da equipe de pesquisa em semântica e interpretação abstrata. Em 2005 , ele foi professor visitante no Instituto de Tecnologia de Massachusetts . Desde 2017, é professor emérito do departamento de informática da ENS.

Nos últimos anos , Ele tem se interessado particularmente no desenvolvimento de software de análise estática para verificar as propriedades de segurança de sistemas críticos a bordo, como os encontrados na aviação.

Em 1999, ele recebeu a medalha de prata do CNRS , em 2001 um doutorado honorário da Universidade de Saarland , em 2006 um grande prêmio da Fundação EADS para pesquisas que tiveram aplicações industriais. É Cavaleiro da Ordem do Mérito Nacional e membro da Academia Europaea .

Além de suas publicações científicas, ele escreveu em colaboração com sua esposa Radhia alguns livros introdutórios de programação .

Notas e referências

  1. Interpretação abstrata: um modelo de rede unificada para análise estática de programas por construção ou aproximação de pontos fixos, POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Pages 238-252, ACM New York, NY, USA
  2. Projeto sistemático de estruturas de análise de programa, POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Pages 269-282, ACM New York, NY, USA
  3. CNRS , “  medalhas de prata do CNRS 1999  ” , em http://www.cnrs.fr ,1999(acessado em 31 de julho de 2014 ) .
  4. Retrato e zoom do trabalho de pesquisa de Patrick Cousot no site da EADS Corporate Foundation .

links externos