Résultats de la recherche - Cousot, Patrick

Patrick Cousot

Patrick Cousot (né le ) est enseignant-chercheur en informatique français, professeur émérite à l'École normale supérieure à Paris.

Avec son épouse Radhia Cousot, il définit l'interprétation abstraite, une technique de méthode formelle. À ce titre, ils reçoivent le ''Programming Languages Achievement Award in 2013'' de l'ACM SIGPLAN en 2013 et le prix Harlan D. Mills de l'IEEE Computer Society en 2014. Informations fournies par Wikipedia