Professor, Computer Science

Baskin School of Engineering
1156 High St
Mail Stop SOE3
Santa Cruz, CA 95064

Phone Number: 831-459-1489

Department: Computer Science

Office Location: Engineering 2, Room 347A
Office Hours: On leave

E-Mail Address:

Research Areas

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

Current and Future Classes

Fall 2012

• CMPS 223: Advanced Computer Security

Are you Martin Abadi? If so, you can update the information on this page.