Nationalité : Argentine
Né(e) à : Buenos Aires (Argentine) , 1963
Ajouter des informations
Né(e) à : Buenos Aires (Argentine) , 1963
Biographie :
Né en 1963 à Buenos Aires, Martin ABADI a fait ses études à Stanford University en Californie, où il obtint 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.
+ Voir plusNé en 1963 à Buenos Aires, Martin ABADI a fait ses études à Stanford University en Californie, où il obtint 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.
Ajouter des informations
étiquettes
Citations et extraits (1)
Ajouter une citation
Vers la fin de sa leçon inaugurale, Roland Barthes évoquait ses retrouvailles avec le roman "La Montagne magique" de Thomas Mann, qu'il venait de relire. Pour ma part, j'ai plutôt relu des articles de Butler Lampson et de Roger Needham, deux pionniers en sécurité informatique qui m'ont profondément marqué. Cette leçon même en porte bien des traces. J'ai aussi relu des articles de Robin Milner, un grand informaticien décédé en 2010. Milner était entre autre choses, le principal créateur des calculs de processus, qui nous sont si utiles. Il soulignait l'importance de l'interaction dans la nouvelle informatique, et préconisait l'invention d'une théorie de l'interaction. Il promettait que ceci aurait tout autant de charme que d'inventer la science de la navigation quand on est déjà à bord d'un navire.
Acheter les livres de cet auteur sur
Les Dernières Actualités
Voir plus
Lecteurs de Martin Abadi (3)Voir plus
Quiz
Voir plus
La rencontre de Allan W.Eckert
Quels sont les noms des parents de Benjamin ?
George et Esther
Max et Aurore
William et Esther
On ne sait pas
8 questions
41 lecteurs ont répondu
Thème : La rencontre de
Allan W. EckertCréer un quiz sur cet auteur41 lecteurs ont répondu