Software for Dependable Systems: Sufficient Evidence? (2007)
Chapter: B: Open Session Briefers
B
Open Session Briefers
Although the individuals listed below provided much useful information of various kinds to the committee, they were not asked to endorse this study’s conclusions or recommendations, nor did they see the final draft of this report before its release.
DECEMBER 18-19, 2003
WASHINGTON, D.C.
Helen Gill, National Science Foundation
Sol Greenspan, National Science Foundation
Paul L. Jones, Food and Drug Administration
Carl Landwehr, National Science Foundation
Ernie Lucier, Federal Aviation Administration
Brad Martin, National Security Agency
Paul Miner, NASA
Ralph Wachter, Office of Naval Research
APRIL 19-21, 2004
WORKSHOP ON SOFTWARE CERTIFICATION AND DEPENDABILITY
WASHINGTON, D.C.
Kent Beck, Three Rivers Institute
Richard Cook, University of Chicago
David Dill, Stanford University
Matthias Felleisen, Northeastern University
Brent Goldfarb, University of Maryland
Anthony Hall, Praxis Critical Systems
Bob Harper, Carnegie Mellon University
Mats Heimdahl, University of Minnesota
Chuck Howell, MITRE Corporation
Doug Jones, University of Iowa
Shriram Krishnamurthi, Brown University
Jim Larus, Microsoft Research
Isaac Levendel, Independent Consultant
Gary McGraw, Cigital
Peter Neumann, SRI International
Bob Noel, MITRE Corporation
Gene Rochlin, University of California, Berkeley
Avi Rubin, Johns Hopkins University
Bill Scherlis, Carnegie Mellon University
Ted Selker, Massachusetts Institute of Technology
André van Tilborg, Office of the Secretary of Defense
MAY 18-19, 2004
CAMBRIDGE, MASSACHUSETTS
James Baker, U.S. Air Force
Michael Cusumano, Massachusetts Institute of Technology
Michael Hammer, Hammer and Company
Mike Lai, Microsoft
Butler Lampson, Microsoft Research
Alfred Spector, IBM Research
Richard Stanley, MITRE
FEBRUARY 16-18, 2005
MOUNTAIN VIEW, CALIFORNIA
Bill Bush, Sun Microsystems
Window Snyder, Microsoft
