World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
106
Citations
99803
World Ranking
268
National Ranking
147

Research.com Recognitions

  • 2018 - Member of the National Academy of Engineering For contributions to the formal theory of computer security.
  • 2011 - Fellow of the American Association for the Advancement of Science (AAAS)
  • 2008 - ACM Fellow For contributions to computer security and verification of computer systems.

Overview

Martín Abadi is affiliated with Google in the United States. Their primary research activities are focused within the field of Computer Science, encompassing several subfields including Artificial Intelligence, Computational Theory and Mathematics, and Computer Networks and Communications. The scientist's research topics emphasize Computability, Logic, AI Algorithms, Logic, Reasoning, and Knowledge as well as Logic, programming, and type systems, and Advanced Database Systems and Queries.

Martín Abadi has made contributions to multiple publication venues, notably:

  • Logical Methods in Computer Science
  • arXiv (Cornell University)
  • Jurnal Bahana Kesehatan Masyarakat (Bahana of Journal Public Health)

Their recent published papers include:

  • "Smart Choices and the Selection Monad," 2023, Logical Methods in Computer Science
  • "Smart Choices and the Selection Monad," 2020, arXiv (Cornell University)
  • "Identification of Factors Causing The Return of BPJS Files (Return Claim) At Dharma Yadnya General Hospital, Denpasar City, Quarter IV of 2023," 2025, Jurnal Bahana Kesehatan Masyarakat (Bahana of Journal Public Health)

Frequent collaborators in their work include:

  • Gordon Plotkin
  • I Kadek Putra Wirawan
  • Putu Ayu Sri Murcittowati

The scientist has been recognized with several professional awards, highlighting contributions to their field and related disciplines. These awards include:

  • Member of the National Academy of Engineering, 2018, for contributions to the formal theory of computer security
  • Fellow of the American Association for the Advancement of Science (AAAS), 2011
  • ACM Fellow, 2008, for contributions to computer security and verification of computer systems

Best Publications

  • TensorFlow: a system for large-scale machine learning

    Martín Abadi;Paul Barham;Jianmin Chen;Zhifeng Chen

  • TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems

    Martín Abadi;Ashish Agarwal;Paul Barham;Eugene Brevdo

  • Deep Learning with Differential Privacy

    Martin Abadi;Andy Chu;Ian Goodfellow;H. Brendan McMahan

  • A logic of authentication

    M. Burrows;M. Abadi;Roger Michael Needham

  • A logic of authentication

    Michael Burrows;Martin Abadi;Roger Needham

  • Control-flow integrity principles, implementations, and applications

    Martín Abadi;Mihai Budiu;Úlfar Erlingsson;Jay Ligatti

  • A Theory of Objects

    Martin Abadi;Luca Cardelli

  • A calculus for cryptographic protocols: the spi calculus

    Martín Abadi;Andrew D. Gordon

  • The existence of refinement mappings

    Martín Abadi;Leslie Lamport

  • Mobile values, new names, and secure communication

    Martín Abadi;Cédric Fournet

  • Authentication in distributed systems: theory and practice

    Butler Lampson;Martín Abadi;Michael Burrows;Edward Wobber

  • Control-flow integrity

    Martín Abadi;Mihai Budiu;Úlfar Erlingsson;Jay Ligatti

  • Explicit substitutions

    M. Abadi;L. Cardelli;P.-L. Curien;J.-J. Levy

  • Naiad: a timely dataflow system

    Derek G. Murray;Frank McSherry;Rebecca Isaacs;Michael Isard

  • A calculus for access control in distributed systems

    Martín Abadi;Michael Burrows;Butler Lampson;Gordon Plotkin

  • Prudent engineering practice for cryptographic protocols

    Martin Abadi;R. Needham

  • A calculus for cryptographic protocols

    Martín Abadi;Andrew D. Gordon

  • Composing specifications

    Martín Abadi;Leslie Lamport

  • A logic of authentication

    M. Burrows;M. Abadi;R. Needham

  • Conjoining specifications

    Martín Abadi;Leslie Lamport

  • Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data

    Nicolas Papernot;Martín Abadi;Úlfar Erlingsson;Ian J. Goodfellow

  • Reconciling Two Views of Cryptography

    Martí;n Abadi;Phillip Rogaway

Frequent Co-Authors

Luca Cardelli
Luca Cardelli University of Oxford
Gordon Plotkin
Gordon Plotkin University of Edinburgh
Cédric Fournet
Cédric Fournet Microsoft (United States)
Butler W. Lampson
Butler W. Lampson Microsoft (United States)
Michael Isard
Michael Isard Google (United States)
Bruno Blanchet
Bruno Blanchet French Institute for Research in Computer Science and Automation - INRIA
Leslie Lamport
Leslie Lamport Microsoft (United States)
Tim Harris
Tim Harris Oracle (United States)
Paul Barham
Paul Barham Google (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering studying Computer Science in the USA, exploring related online degrees and flexible career pathways can greatly expand your options. Many students begin with online associate degree programs, which provide foundational skills for entry-level tech roles or future study.

For those looking to advance quickly, pursuing one of the quickest online masters degree options can help you start your career or earn a promotion faster. These accelerated programs are ideal if you're motivated to complete your studies in a shorter timeframe.

Choosing a graduate program is a big investment, so it's important to focus on masters degrees that are worth it. Tech-related fields like computer science, data science, and cybersecurity are in high demand by employers and offer strong earning potential.

Affordability is another key factor. Many reputable schools offer flexible courses through the cheapest online degrees, helping you minimize debt without compromising on quality education. Exploring these pathways can set you on a rewarding and sustainable career in technology.

Best Scientists Citing Martín Abadi

Trending Scientists