Martin Abadi

Martin Abadi
PRINCIPAL RESEARCHER
.

Microsoft Research Silicon Valley
1065 La Avenida
Mountain View, CA 94043
USA
+1 650 693 1085

Papers 
Books: A Theory of Objects and La sécurité informatique
Various other links: conferences, journals, courses, ...
Other contact information (at UCSC)