Martín Abadi - Martín Abadi
Martín Abadi | |
|---|---|
| narozený | 1963 (věk 56–57) |
| Alma mater | Stanfordská Univerzita, 1987 |
| Vědecká kariéra | |
| Pole | Kryptografie |
| Instituce | Google University of California, Santa Cruz |
| Doktorský poradce | Zohar Manna |
Martín Abadi (narozen 1963)[1] je Argentinec počítačový vědec, v současné době pracuje v Google.[2] Zasloužil si PhD z Stanfordská Univerzita v roce 1987 jako student Zohar Manna.
On je dobře známý pro jeho práci na zabezpečení počítače a dál programovací jazyky, včetně jeho papíru (s Michael Burrows a Roger Needham ) na Logika Burrows-Abadi-Needham pro analýzu autentizačních protokolů a jeho knihy (s Luca Cardelli ) Teorie objektů, kterým se stanoví formální počet pro sémantiku objektově orientovaných programovacích jazyků.
Je mu rok 2008 Člen sdružení pro výpočetní techniku.[3] V roce 2011 působil jako dočasný profesor na Collège de France v Paříž,[4] výuka zabezpečení počítače. Byl zvolen členem National Academy of Engineering v roce 2018.[5]
Viz také
Bibliografie
- Teorie objektů ISBN 0-387-94775-2
Reference
- ^ https://www.college-de-france.fr/site/en-martin-abadi/index.htm
- ^ https://research.google/people/abadi/
- ^ „Martin Abadi“. Sdružení pro výpočetní techniku. Citováno 15. května 2011.
- ^ Dekret prezidenta Francouzské republiky, 7. Září 2010, kterým byl jmenován pan Martin Abadi, profesor na University of California, jako dočasný profesor na plný úvazek pro akademický rok 2010–2011
- ^ „National Academy of Engineering Volí 83 členů a 16 zahraničních členů“. Web NAE. Citováno 9. února 2018.
