Skip to main content

Jack Baskin School of Engineering

Technology for a Changing World

Navigation

Home
About Us
Academics
Departments
Degree Programs
Industry
People
Research
Quick Links

Humans of BSOE

Photo of Raquel Robinson

Raquel Robinson

Computational Media

"Making Twitch spectators feel a part of the performance is an important part of the entire experience. I think my tool is another way to do that."

Give to UCSC
Baskin School of Engineering

Request a tour of
Baskin School of Engineering

Martin Abadi

E-Mail Address

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.

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

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

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