Martín Abadi
Martín Abadi
| Naissance | Argentine |
|---|---|
| Nationalités |
argentine américaine |
| Formation |
Université Stanford (docteur en philosophie) (jusqu'en ) |
| Activités |
Informaticien, sécurité des systèmes d'information, cryptographe |
| A travaillé pour |
Collège de France () Université de Californie à Santa Cruz |
|---|---|
| Membre de | |
| Directeur de thèse |
Zohar Manna |
| Site web | |
| Distinctions |
ACM Fellow () Membre de l'AAAS () Doctorat honoris causa de l'École normale supérieure Paris-Saclay () |
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
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 :
Portail de l’informatique 
Portail des entreprises