Martín Abadi
informaticien argentin
From Wikipedia, the free encyclopedia
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
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].
