Martín Abadi
informaticien argentin
(Redirigé depuis Martin Abadi)
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 (docteur en philosophie) (jusqu'en ) |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinctions |
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
modifierIl 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 :