ACM_Citations
    • USA-2008

      For contributions to computer security and verification of computer systems.

    Experience
    Education
    Bio
    Martin Abadi is a Principal Researcher at Microsoft Research Silicon Valley, since 2006, and a Professor at UC Santa Cruz, since 2001. In 2010-2011, he held the Chair “Informatique et sciences numériques” at the Collège de France. Earlier, he studied at Stanford University and worked at Digital's System Research Center and other industrial labs. His research is mainly on computer and network security, programming languages, and specification and verification methods. He has contributed, for example, to the design and analysis of security protocols and to the foundations of object-oriented languages. His research on security has been recognized with the Outstanding Innovation Award of the ACM Special Interest Group on Security, Audit and Control, and with the Hall of Fame Award of the ACM Special Interest Group on Operating Systems. He is a Fellow of the ACM.