Patrick Cousot
France · Sur la carte · Scientifiques · Naissance en 1948 · 77 ans
Patrick Cousot (né le 3 décembre 1948) 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.
Texte issu de Wikipédia, CC BY-SA 4.0
Patrick Cousot : environ 10 lectures par jour, en 9 langues.
Un jour typique, sur 30 jours jusqu'au 19 août 2026
Le jour médian de la période comptée : une semaine d'actualité ne peut donc pas le faire bouger. La courbe en dessous montre les 60 derniers jours, un point par jour.
Une erreur ?Une vie en dates
Autour de Patrick
Famille
Patrick CousotConjoints
Est-ce toute la famille ?
Seuls les proches qui ont un profil ici sont représentés : une famille peut donc être plus grande. Un lien peut aussi être erroné. Un mariage n'apparaît comme terminé que si sa fin est enregistrée : un mariage montré ici peut donc avoir pris fin.
Corriger cette familleMédias et musique
Photos 1
Distinctions
À propos de cette personne
À 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.
Texte issu de Wikipédia, CC BY-SA 4.0
