Summary of a Workshop on Software Certification and Dependability (2004) / Chapter Skim
Currently Skimming:
Appendix B: Panelist Biographies
Appendix B: Panelist Biographies
Pages 31-38
The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.
From page 31... ...
His work has focused on on-time delivery of quality products to outside customers. Levendel has achieved international recognition in hardware and software quality assessment and prediction, fault tolerance and dependability, and software technologies.
|
From page 32... ...
His work on the Fox Project includes fundamental research on type systems for modular programming, the development of typed intermediate languages, type-directed translation to support efficient compilation methods, and the construction of certifying compilers. Harper's current research interests are type refinements for programming languages, applications of language technology to grid computing, and the use of selfadjusting computation to implement incremental and dynamic algorithms.
|
From page 33... ...
In addition, he also comanaged the DARPAand NSF-sponsored Wisconsin Wind Tunnel research project, which developed new computer architectures and programming techniques for shared-memory parallel computing. After a sabbatical at Microsoft Research, Larus decided to stay and establish the Software Productivity Tools (SPT)
|
From page 34... ...
He recently chaired a DARPA panel developing a research agenda for building trustworthy systems and led an effort for the Office of the Deputy Undersecretary of Defense for Science and Technology evaluating science and technology requirements for software-intensive systems. Howell is the author of the article "Dependability" in John Wiley & Sons' second edition of the Encyclopedia of Software Engineering and coauthor of the book Solid Software.
|
From page 35... ...
Following his retraining in political science at MIT and Harvard in 1973-1974, his research interests in the cultural, social, political, and organizational implications and consequences of technology have extended to studies of nuclear power and nuclear proliferation, advanced information technologies, and the politics and political economy of energy and environmental policy. He was a principal of the Berkeley High Reliability Project, a multidisciplinary team that has studied the organizational aspects of safety-critical systems such as nuclear power operations and air traffic control.
|
From page 36... ...
He was chief designer on CDIS, a successful air traffic information system, and a certification authority developed to ITSEC E6 standards. Together with colleagues in Praxis Critical Systems, Hall has brought together extensive practical experience and the latest research findings to develop REVEAL, a principled yet practical approach to requirements engineering, and Correctness by Construction, a process for cost-effective development of critical software.
|
From page 37... ...
Ted Selker, at the MIT Media and Arts Technology Laboratory, is the director of the Context Aware Computing Lab, which strives to create a world in which people's desires and intentions cause computers to help them. This work creates environments that use sensors and artificial intelligence to create so-called "virtual sensors," adaptive models of users to create keyboardless computer scenarios.
|
From page 38... ...
His work takes the form of prototype concept products supported by cognitive science research. He is known for the design of the "TrackPoint III" in-keyboard pointing device now found in Compaq, Fujitsu, HP, IBM, Sony, TI, and other computers; for creating the "COACH" adaptive agent that improves user performance (Warp Guides in OS/2)
|
Key Terms
This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More
information on Chapter Skim is available.