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 (doctorat) (jusqu'en ) |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinction |
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).
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.