Martín Abadi

Martín Abadi

Biographie

Naissance	1963 Argentine
Nationalités	argentine américaine
Formation	Université Stanford (doctorat) (jusqu'en 1987)
Activités	Informaticien, sécurité des systèmes d'information, cryptographe

Autres informations

A travaillé pour	Collège de France (2011) Google Université de Californie à Santa Cruz
Membre de	Association for Computing Machinery (2009)
Directeur de thèse	Zohar Manna
Site web	(en) www.soe.ucsc.edu/~abadi/home.html
Distinctions	ACM Fellow (2008) Membre de l'AAAS (2011) Doctorat honoris causa de l'École normale supérieure Paris-Saclay (2015)

modifier - modifier le code - modifier Wikidata

Martín Abadi (né en 1963[1]) est un informaticien argentin. Il travaille à l'université de Californie à Santa Cruz et chez Google.

Il est surtout connu pour son travail en sécurité des systèmes d'information ainsi que sur les langages de programmation. Il devient membre de l'Association for Computing Machinery en 2008[2].

Biographie

Il obtient un Ph.D. de l'université Stanford en 1987 sous la direction de Zohar Manna.

En 2011, il enseigne au Collège de France à Paris[3].

Notes et références

1. (en) « Page non trouvée »
2. (en) « Martin Abadi », Association for Computing Machinery (consulté le 15 mai 2011)
3. (en) Decree of the President of the French Republic, 7 september 2010, appointing Mr Martin Abadi, professor at the Université de Californie, as full-time temporary professor for the 2010-2011 academic year

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Martín Abadi » (voir la liste des auteurs).

Liens externes

• (en) Site officiel
• Ressources relatives à la recherche :
  • Collège de France
  • Digital Bibliography & Library Project
  • Google Scholar
  • Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • CiNii
  • Belgique
  • Pays-Bas
  • Israël
  • NUKAT
  • Australie
  • Norvège
  • Tchéquie
  • WorldCat