Martin Abadi
· Professor EmeritusUniversity of California, Santa Cruz · Statistics and Applied Probability
Active 1985–2023
Research topics
- Computer science
- Programming language
- Theoretical computer science
- Computer security
- Artificial intelligence
Recent grants
Distributed Authentication and Authorization: Models, Calculi, Methods
NSF · $375k · 2002–2007
CT-ISG: Collaborative Research: Open Software Security: Principles and Systems
NSF · $150k · 2005–2009
Controlled Sharing: Programming-Language Principles and Techniques
NSF · $157k · 2002–2005
Frequent coauthors
- 45 shared
Luca Cardelli
University of Oxford
- 43 shared
Bruno Blanchet
Institut national de recherche en informatique et en automatique
- 27 shared
Leslie Lamport
- 26 shared
Gordon Plotkin
- 26 shared
Yinglian Xie
- 24 shared
Cédric Fournet
Microsoft Research (United Kingdom)
- 23 shared
Fang Yu
Xi'an Jiaotong University
- 21 shared
Michael Isard
Similar researchers at University of California, Santa Cruz
- Resume-aware match score
- Save to shortlist
- AI-drafted outreach
See your match with Martin Abadi
PhdFit ranks faculty by your research interests, methods, and publications — grounded in their actual work, not templates.
- Free to start
- No credit card
- 30-second signup