Martín Abadi
Docteur Honoris Causa 2015
Martín Abadi est Principal Scientist chez Google et pionnier dans plusieurs aspects des langages de programmation, des systèmes d’exploitation et de la sécurité informatique.
Le professeur Abadi est un chercheur exceptionnel. Il est à l'origine d'un nombre impressionnant de résultats importants, et souvent fondateurs.
Il est l'un des pionniers dans plusieurs aspects des langages de programmation, des systèmes d'exploitation et de la sécurité informatique.
Parmi ses contributions majeures, on compte la sémantique des langages de programmation objet, les calculs avec substitutions explicites, l'étude des preuves par raffinements, le développement de modèles et méthodes pour raisonner sur les protocoles cryptographiques et les logiques pour le contrôle d'accès.
Ses résultats ont un impact exceptionnel en milieu académique, attesté par le nombre de citations de ses travaux. Ils ont tout autant influencé la recherche industrielle : le professeur Abadi a travaillé successivement pour DEC, Lucent (Bell Labs), Microsoft et aujourd'hui Google.
Distinctions
Il a reçu l'Outstanding Innovation Award de l'Association for Computing Machinery (ACM) Special Interest Group on Security, Audit and Control, le Hall of Fame Award de l'ACM Special Interest Group on Operating Systems.
Il est ACM Fellow, et a été le deuxième titulaire de la très prestigieuse chaire d'Informatique et Sciences numériques au Collège de France.
VIDEO
http://www.lsv.ens-cachan.fr/~goubault/DHC/abadi-film-2.mp4