Employment
2005- Technical Fellow, Microsoft
Corporation
2000-2005 Distinguished Engineer, Microsoft
Corporation
1995-1999 Architect, Microsoft Corporation
1993-1995 Senior
Corporate Consulting Engineer
Systems Research Center, Digital Equipment Corporation
1986-1993 Corporate
Consulting Engineer
Systems Research Center, Digital Equipment Corporation
1987- Adjunct Professor, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
1984-1986 Senior
Consulting Engineer
Systems Research Center, Digital Equipment Corporation
1975-1983 Senior
Research Fellow, Computer Science Laboratory
Xerox Palo Alto Research Center
1971-1975 Principal
Scientist, Computer Science Laboratory
Xerox Palo Alto Research Center
1969-1971 Director of
System Development
Berkeley Computer Corporation
1970-1971 Associate
Professor, Computer Science Department
University of California,
1967-1970 Assistant
Professor, Computer Science Department
University of California,
Education
1964 AB
magna cum laude with highest honors in Physics
Harvard University
1967 PhD in Electrical Engineering and Computer Science
University of California,
Honors
1984 ACM Software System Award (with R. Taylor and C. Thacker).
1984 Member, National Academy of Engineering
1986 Sc.D. (hon.), Eidgenössische Technische Hochschule, Zürich.
1992 Distinguished
Alumnus, Computer Science Department,
1992 ACM Turing Award
1993 Fellow, American Academy of Arts and Sciences
1994 Fellow, Association for Computing Machinery
1996 ieee Computer Pioneer Award
1996 Sc.D. (hon.),
1998 National Computer Systems Security Award, NIST/NSA
2001 IEEE
von Neumann Medal
2004 National Academy of Engineering
Draper Prize
2005 Member, National Academy of
Sciences
2005 ACM SOSP Hall of Fame award for
“Hints for Computer System Design”
2006 IFIP TC11 Kristian Beckman Award
for information security
2009 ACM SOSP Hall of Fame award for “Experience
with processes and monitors in Mesa”
2010 ACM SOSP Hall of Fame award for
“Crash Recovery in a Distributed Data Storage System”
2016 National Cybersecurity Hall of
Fame
2018 Foreign Member, Royal Society
Memberships
1961- Association for Computing Machinery
1982- IFIP Working Group 2.3 on Programming Methodology
1993-2006 Computer Science and Telecommunications Board, National Academy of Science