Martín 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 (Philosophiæ doctor) (jusqu'en ) |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Dir. de thèse | |
| Site web | |
| Distinction |
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
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
- (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
- (en) Site officiel
- Ressources relatives à la recherche :
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- CiNii
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Réseau des bibliothèques de Suisse occidentale
- Bibliothèque nationale d’Australie
- Base de bibliothèque norvégienne
- Bibliothèque nationale tchèque
- WorldCat
Portail de l’informatique 
Portail des entreprises
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.