Skip to main content

Jack Baskin School of Engineering

Technology for a Changing World

Navigation

Home
About Us
Departments
Academics
Research
Industry
Quick Links

Video Spotlight

Corporate Sponsored Senior Projects

Graduation 2017 Photos

Click Here For Photos From The
2017 Baskin Graduation Celebration

Martin Abadi

E-Mail Address

Title

Professor Emeritus, Computer Science

Department

Computer Science

Research Areas

Computer and network security, principles of programming languages, specification and verification methods

Web Page

Martin Abadi's web page at UCSC

Are you Martin Abadi? If so, you can update your directory information.

This site is maintained by: webmaster@soe.ucsc.edu

UC Santa Cruz, 1156 High Street, Santa Cruz, CA 95064

Copyright © 2017 The Regents of the University of California. All rights reserved.