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

E-Mail Address:

Research Areas

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

Current and Future Classes

Winter 2014

• CMPS 203: Programming Languages

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