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 |
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.
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 .