Readings

R020100a: Players in Trustworthy Computing

As Bill Anderson and I work our way through the tenets and context of Trustworthy Computing, I want to develop a profile of the key players and their organizations.  This is partly to understand where the authorities on the subject are situated and what their relationships and influences are.  It is also to identify the community that we wish to consult and associate ourselves with.

This pages captures names of people and organizations as they come up in our researches. 

Last updated 2002-10-13-13:12 -0700 (pdt)

People

Anderson,  Stuart.

investigator whose work is studied in [MacKenzie2001]
 

Appel, Kenneth

acknowledged in [MacKenzie2001]; illustration provided
 

Bechhofer, Frank.

A directory of Edinburgh University's Research Centre for Social Sciences.
 

Bijker, Wiebe.

acknowledged in [MacKenzie2001]
 

Bloor, David

acknowledged in [MacKenzie2001]
 

Boehm, Barry

illustration acknowledged in [MacKenzie2001]
 

Bonin, Doug

illustration acknowledged in [MacKenzie2001]
 

Boyer, Bob

acknowledged in [MacKenzie2001]
 

Boyer, Doug

Director of Microsoft Windows Security Group
 

Bryant, Randal

illustration acknowledged in [MacKenzie2001]
 

Bundy, Alan.

investigator whose work is studied in [MacKenzie2001]
 

Carré, Bernard.

investigator whose work is studied in [MacKenzie2001]
 

Constable, Bob

acknowledged in [MacKenzie2001]
 

Corwine, Matt

co-author of Microsoft Trustworthy Computing white paper
 

DeMillo, Richard

acknowledged in [MacKenzie2001]
 

de Vries, Pierre

co-author of Microsoft Trustworthy Computing white paper.

 

Dijkstra, Edsger W.

acknowledged in [MacKenzie2001]; illustration provided
 1. proponent of computer-science approach to software crisis, late 60's club
 2. wanted to take programming out of the middle ages.
 

Epple, Moritz

acknowledged in [MacKenzie2001]
 

Floyd, Robert W.

proponent of computer-science approach to software crisis, late 60's club.
 1. Student James King produces the first automated system for applying proofs to programs.
 

Fritsch, Rudolf

acknowledged in [MacKenzie2001]
 

Gerhart, Susan

acknowledged in [MacKenzie2001]
 

Gordon, Mike

acknowledged in [MacKenzie2001]
 

Haken, Wolfgang

acknowledged in [MacKenzie2001]; illustration provided
 

Hales, Tom

illustration acknowledged in [MacKenzie2001]
 

Harrison, John

acknowledged in [MacKenzie2001]
 

Hayes, Pat

acknowledged in [MacKenzie2001]
 

Haynes, Peter

co-author of Microsoft Trustworthy Computing white paper
 

Hoare, C.A.R (Tony)

acknowledged in [MacKenzie2001]
 1. proponent of computer-science approach to software crisis, late 60's club
  

Howard, Michael

1. Computer Security at Microsoft, developed course used in upgrading Microsoft teams, 1Q2002
these were half-day courses with 1000 people at a time.  On April 8, I noted that 9000 developers had been trained so far.
2. co-author of Writing Secure Code.
 

Jones, Roger

acknowledged in [MacKenzie2001]
 

Kajiya, Jim.

Microsoft researcher quoted in Trustworthy Computing white paper.
 

King, James

student of Robert Floyd
produced first automated system for applying proof to programs, in 1969.
 

Koch, John

illustration acknowledged in [MacKenzie2001]
 

Kusch, Martin

acknowledged in [MacKenzie2001]
 

Lamport, Leslie

acknowledged in [MacKenzie2001]
 

Landwehr, Carl

acknowledged in [MacKenzie2001]
 

LaPadula, Leonard

illustration acknowledged in [MacKenzie2001]
 

LeBlanc, David

co-author of Writing Secure Code.
 

Lipner, Steven B.

Microsoft Director of Security Assurance
 

MacKenzie, Donald A.

Social scientist in the Department of Sociology at the University of Edinburgh.  Author of Mechanizing Proof: Computing, Risk, and Trust [MacKenzie2001].
 

Mahoney, Mike

acknowledged in [MacKenzie2001]
 

Martin, Ursula

acknowledged in [MacKenzie2001]
 

McCarthy, John

computer scientist and artificial intelligence pioneer
 1. proponent of computer-science approach to software crisis, late 60's club
 

McCullough, Daryl

illustration acknowledged in [MacKenzie2001]
 

McLean, John

acknowledged in [MacKenzie2001]
 

Mills, Harlan D.

director of software engineering at IBM Federal Systems Division
saw proof of programs as a human activity that could lead only to "subjective conviction."
 

Milner, Robin

acknowledged in [MacKenzie2001]
 

Moore, J. Strother

acknowledged in [MacKenzie2001]
 

Mundie, Craig

senior Vice President and Chief Technology Officer, Advanced Strategies and Planning, Microsoft Corporation.  co-author of Microsoft Trustworthy Computing white paper, January 31, 2002.
 

Naur, Peter

illustration acknowledged in [MacKenzie2001]
 1. proponent of computer-science approach to software crisis, late 60's club
 2. Editor of the ALGOL 60 report.
  

Paláez, Eloína.

cited in [MacKenzie2001] Acknowledgments for thesis that sparked MacKenzie's interest: A Gift From Pandora's Box: The Software Crisis.  Ph.D. thesis, University of Edinburgh, 1988.
 

Pinch, Trevor

acknowledged in [MacKenzie2001]
 

Pollack, Randy

acknowledged in [MacKenzie2001]
 

Pottinger, Garrel.

interviewer cited in [MacKenzie2001] Acknowledgments for joint article with MacKenzie and carrying out interviews for Chapter 5.
 

Prawitz, Dag

acknowledged in [MacKenzie2001]
 

Ranicki, Andrew

acknowledged in [MacKenzie2001]
 

Robertson, Neil

acknowledged in [MacKenzie2001]
 

Robinson, Alan

acknowledged in [MacKenzie2001]
 

Rushby, John

acknowledged in [MacKenzie2001]
 

Sannella, Don

acknowledged in [MacKenzie2001]
 

Schell, Roger G.

illustration acknowledged in [MacKenzie2001]
 

Schwartz, Richard

acknowledged in [MacKenzie2001]
 

Shankar, Natarajan

acknowledged in [MacKenzie2001]
 

Shostak, Rob

acknowledged in [MacKenzie2001]
 

Simon, Herbert A.

acknowledged in [MacKenzie2001]; illustration provided
 

Stenning, Keith

acknowledged in [MacKenzie2001]
 

Stirling, Colin

acknowledged in [MacKenzie2001]
 

Swart, Edward

acknowledged in [MacKenzie2001]
 

Turkle, Sherry

acknowledged in [MacKenzie2001]
 

Valentine, Sam

acknowledged in [MacKenzie2001]
 

Ware, Willis A.

illustration acknowledged in [MacKenzie2001]
 

Weiss, Martina

acknowledged in [MacKenzie2001]
 

Williams, Robin.

A director of Edinburgh University's Research Centre for Social Sciences.
 

Williamson, Tim.

acknowledged in [MacKenzie2001]
 

Places and Institutions

Edinburgh, University of

Department of Social Sciences and the Research Center for Social Sciences under the direction of Frank Bechhofer and Robin Williams, are the location for the research work carried out by Donald MacKenzie and his colleagues.
 

Harvard University

Department of the History of Science.  Visited by Donald MacKenzie in part of his writing work on [MacKenzie2001]
 

U.K. Economic and Social Research Council.

1. provided grants for the work of Donald McKenzie in producing [MacKenzie2001]:
R000234031: Studies in the Sociology of Proof
2. Programme on Information and Communication Technologies
 

U.K. Science and Engineering Research Council.

Joint program with U.K. Economic and Social Research Council.
 

U.K. Engineering and Physical Sciences Research Council (EPSRC)

Grants to MacKenzie.

DIRC

Interdisciplinary Research Collaboration on the Dependability of Computer-Based Systems.

References

[MacKenzie1998]

MacKenzie, Donald A.  Computers and the Sociology of Mathematical Proof.  Prepared for Northern Formal Methods Workshop, Ilkley, September 1998.  Edinburgh University Department of Sociology.  Published on-line.
 

[MacKenzie2001]

MacKenzie, Donald A.  Mechanizing Proof: Computing, Risk, and Trust.  MIT Press (Cambridge, MA: 2001).  Inside Technology Series.  ISBN 0-262-13393-8 hard cover, alkaline paper.

created 2002-02-02-22:42 -0800 (pst) by orcmid
$$Author: Orcmid $
$$Date: 02-10-13 13:12 $
$$Revision: 7 $