Martín Abadi
Generated by DeepSeek V3.2Expansion Funnel Raw 51 → Dedup 25 → NER 7 → Enqueued 7
| Martín Abadi | |
|---|---|
| Name | Martín Abadi |
| Birth date | 1963 |
| Birth place | Buenos Aires, Argentina |
| Nationality | Argentine |
| Fields | Computer science, Theoretical computer science, Computer security |
| Workplaces | University of California, Santa Cruz, Digital Equipment Corporation, Microsoft Research, Google |
| Alma mater | Stanford University (Ph.D.), University of Buenos Aires |
| Doctoral advisor | Gordon Plotkin |
| Known for | Pi-calculus, Security protocol analysis, TensorFlow, Logic in computer science |
| Awards | Gödel Prize (1996), Member of the National Academy of Engineering (2013), Fellow of the Association for Computing Machinery (2005) |
Martín Abadi. He is an Argentine-American computer scientist renowned for his foundational work in theoretical computer science and computer security. His research spans concurrency theory, logic in computer science, and the practical design of secure systems and machine learning frameworks. Abadi has held prominent research positions at leading institutions including Microsoft Research and Google.
Early life and education
Born in Buenos Aires, he completed his undergraduate studies at the University of Buenos Aires. He then pursued graduate studies in the United States, earning his Ph.D. in computer science from Stanford University under the supervision of Gordon Plotkin. His doctoral work laid the groundwork for his future contributions to the semantics of concurrent computation.
Career and research
Abadi began his academic career as a professor at the University of California, Santa Cruz. He subsequently moved to industrial research, first at the Digital Equipment Corporation's Systems Research Center. He later joined Microsoft Research in Silicon Valley, where he spent many years as a principal researcher. In 2016, he transitioned to Google, contributing to projects in machine learning and artificial intelligence. His research trajectory connects deep theoretical principles with impactful industrial applications.
Major contributions
Abadi's early seminal work, with Robin Milner and others, was the development of the π-calculus, a foundational process calculus for modeling mobile systems. In computer security, he pioneered the applied pi calculus and methods for formal security protocol analysis, influencing tools like ProVerif. With Luca Cardelli, he authored influential texts on object calculus and type systems. At Google, he was a key contributor to the development of the TensorFlow machine learning library and co-authored the seminal paper on the TensorFlow system architecture.
Awards and honors
His contributions have been recognized with prestigious awards including the Gödel Prize in 1996 for his work on the π-calculus. He was elected a Fellow of the Association for Computing Machinery in 2005 and a Member of the National Academy of Engineering in 2013. He has also received the POPL Most Influential Paper Award and is a respected program committee member for major conferences like IEEE Symposium on Security and Privacy.
Selected publications
* *A Calculus of Mobile Processes* (with Robin Milner and others) in Information and Computation. * *A Theory of Objects* (with Luca Cardelli), published by Springer Science+Business Media. * *The Applied Pi Calculus* in proceedings of FSTTCS. * *TensorFlow: A System for Large-Scale Machine Learning* (with others) at the USENIX Symposium on Operating Systems Design and Implementation. * *Secure Web Browsing with the OP Web Browser* at the IEEE Symposium on Security and Privacy.
Category:Argentine computer scientists Category:1963 births Category:Living people Category:Gödel Prize laureates