Martin Abadi

Martin Abadi

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

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