Martín Abadi
Martín Abadi
| Naissance | |
|---|---|
| Nationalités | |
| Formation |
Université Stanford(doctorat)(jusqu'en) |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinctions |
Pour les articles homonymes, voirAbadi.
Martín Abadi(né en 1963[1]) est uninformaticienargentin.Il travaille à l'université de Californie à Santa Cruzet chezGoogle.
Il est surtout connu pour son travail ensécurité des systèmes d'informationainsi que sur leslangages de programmation.Il devient membre de l'Association for Computing Machineryen 2008[2].
Biographie
[modifier|modifier le code]
Cette section est vide, insuffisamment détaillée ou incomplète.Votre aideest la bienvenue!Comment faire?
Il obtient unPh.D.de l'université Stanforden 1987 sous la direction deZohar Manna.
En 2011, il enseigne auCollège de FranceàParis[3].
Notes et références
[modifier|modifier le code]- (en)«Page non trouvée»
- (en)«Martin Abadi», Association for Computing Machinery(consulté le)
- (en)Decree of the President of the French Republic,7 september 2010, appointing Mr Martin Abadi, professor at theUniversité 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
[modifier|modifier le code]
- (en)Site officiel
- Ressources relatives à la recherche:
