Skip to main content
Stay Informed:
Baskin Engineering COVID-19 Information and Resources
Campus Roadmap to Recovery
Zoom Links:
Zoom Help
|
Teaching with Zoom
|
Zoom Quick Guide
Jack Baskin School of Engineering
Technology for a Changing World
Navigation
Home
About Us
Academics
Departments
Degree Programs
People
Research
Quick Links
Martin Abadi
E-Mail Address
Please Enable JavaScript
Title
Professor Emeritus, Computer Science and Engineering
Department
Computer Science and Engineering
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
.