Martín Abadi
informaticien argentin
Martín Abadi (né en 1963[1]) est un informaticien argentin. Il travaille à l'université de Californie à Santa Cruz et chez Google.
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.
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
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- (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
- (en) Site officiel
- Ressources relatives à la recherche :
