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, voir Abadi.
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
[modifier | modifier le code]
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
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
[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 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
[modifier | modifier le code]
- (en) Site officiel
- Ressources relatives à la recherche :
