Navigation

Research

Delivery of Health Care
Energy and the Environment
Humanities and the Arts
Intelligent Infrastructure
Services Science and Technology
Technology for Emerging Economies
Browse All Projects
Browse Researchers
Seed Funded Projects
Funding

Home » Research » People

Professor Martin Abadi

Email:

Home Page:

http://www.cse.ucsc.edu/~abadi/home.html

Institutions:

Departments:

CS

Projects:

Controlled Sharing: Programming-Language Principles and Techniques
Distributed Authentication and Authorization: Models, Calculi, Methods

About
Research
Partners
News & Events
Publications
Contact Us