Martin Abadi Chaire d'Informatique et sciences numériques (2010 - 2011)

Présentation

La sécurité informatique

Né en 1963 à Buenos Aires, Martin Abadi a fait ses études à Stanford University en Californie, où il obtient son doctorat en informatique en 1987. Depuis, il a surtout été chercheur, le plus souvent dans des laboratoires industriels ; il est « principal researcher » à Microsoft Research Silicon Valley depuis 2006. Il a aussi enseigné à Berkeley, à Stanford (où il est actuellement professeur invité) et à l'University of California, Santa Cruz (où il est actuellement professeur).

Sa recherche porte principalement sur la sécurité informatique, sur les langages de programmation et sur les méthodes de spécification et preuve formelle. Il s'est intéressé, par exemple, au développement de la théorie des langages de programmation orientés-objet et à la conception et l'analyse des protocoles de communication sécurisés sur Internet.