Martín Abadi - Martín Abadi
Martín Abadi | |
---|---|
Urodzić się | 1963 (wiek 57–58) |
Edukacja | Doktorat , Uniwersytet Stanforda , 1987 r. |
Znany z |
Logika Burrowsa-Abadiego-Needhama Baby Modula-3 Teoria obiektów |
Kariera naukowa | |
Pola |
Informatyka Kryptografia |
Instytucje |
Uniwersytet Google w Kalifornii, Santa Cruz College de France |
Doradca doktorski | Zohar Manna |
Martín Abadi (ur 1963) to argentyński komputer naukowiec , pracujący w Google , jak od roku 2021. Ukończył Doctor of Philosophy (PhD) w dziedzinie informatyki z Uniwersytetu Stanforda w 1987 roku jako student Zohar Manna .
Jest dobrze znany ze swojej pracy na temat bezpieczeństwa komputerowego i języków programowania , w tym jego pracy (z Michaelem Burrowsem i Rogerem Needhamem ) na temat logiki Burrowsa-Abadi-Needhama do analizy protokołów uwierzytelniania oraz jego książki (z Lucą Cardelli ) A Theory of Obiekty , układanie rachunków formalnych dla semantyki języków programowania obiektowego .
W 1993 roku opublikował język programowania dla niemowląt Modula-3 , sejf podzbiór lub podjęzykiem z Modula-3 , oparte na programowaniu funkcjonalnej i teorii mnogości ideałów .
Jest członkiem Association for Computing Machinery w 2008 roku . W 2011 roku był tymczasowym profesorem w Collège de France w Paryżu , ucząc bezpieczeństwa komputerowego . Został wybrany członkiem National Academy of Engineering w 2018 roku za wkład w formalną teorię bezpieczeństwa komputerowego.