Search for people, departments, or email addresses.

« Back To Search Results

  Martin Abadi

Martin Abadi

Professor Emeritus


Baskin School of Engineering

Computer Science and Engineering

Professor Emeritus



Jack Baskin Engineering Building

Engineering 2


  • Computer and network security
  • Principles of programming languages
  • Specification and verification methods

If you have the proper permissions, you can edit this entry

This campus directory is the property of the University of California at Santa Cruz. To protect the privacy of individuals listed herein, in accordance with the State of California Information Practices Act, this directory may not be used, rented, distributed, or sold for commercial purposes. For more details, please see the university guidelines for assuring privacy of personal information in mailing lists and telephone directories. If you have any questions please contact the ITS Support Center.