The following HTML text is provided to enhance online
readability. Many aspects of typography translate only awkwardly to HTML.
Please use the page image
as the authoritative form to ensure accuracy.
Summary of a Workshop on Software Certification and Dependability
Peter Neumann is principal scientist at SRI International’s Computer Science Laboratory. He is concerned with computer systems and networks, security, reliability, survivability, safety, and many risk-related issues such as voting-system integrity, crypto policy, social implications, and human needs including privacy. He moderates the ACM Risks Forum, edits CACM's monthly Inside Risks column, chairs the ACM Committee on Computers and Public Policy, cofounded People for Internet Responsibility (PFIR), and cofounded the Union for Representative International Internet Cooperation and Analysis (URIICA). Neumann is a fellow of the ACM, IEEE, and AAAS, and is also an SRI fellow. He is a member of the U.S. General Accounting Office Executive Council on Information Management and Technology and of the California Office of Privacy Protection advisory council. Prior to joining SRI International, Neumann was at Bell Labs, during which time he was heavily involved in the Multics development jointly with MIT and Honeywell. In addition, he has served on the faculties at Stanford University, the University of California at Berkeley, and the University of Maryland. He is the 2002 recipient of the National Computer System Security Award. He received a Ph.D. from Harvard University and the Technical University of Darmstadt.
PANEL B:LOOKING FORWARD: NEW CHALLENGES, NEW OPPORTUNITIES
Robert Harper is a professor of computer science at Carnegie Mellon University, where he has been a member of the faculty since 1988. From 1985 to 1988 he was a research fellow in the Laboratory for Foundations of Computer Science at Edinburgh University. His research is concerned with the development and application of type theory to computer programming. As a graduate student he was a charter member of the PRL Project, which pioneered the mechanization of constructive type theory as a foundation for a comprehensive proof and program development system. While at Edinburgh, Harper collaborated with Robin Milner on the design, semantics, and implementation of Standard ML. He designed and built the first implementation of the Standard ML module system, and he coauthored (with Milner and Mads Tofte) The Definition of Standard ML, which consists of the static and dynamic semantics of the language. Also at Edinburgh he collaborated with Gordon Plotkin on the design of the LF Logical Framework. At Carnegie Mellon, Harper, together with Peter Lee and Frank Pfenning, directed the Fox Project, which sought to apply fundamental programming language theory and advanced compiler technology to the practice of building systems. 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 self-adjusting computation to implement incremental and dynamic algorithms. Harper earned a Ph.D. from Cornell University in 1985.
Shriram Krishnamurthi is an assistant professor of computer science at Brown University. His research lies at the confluence of programming languages, software engineering, and computer-aided verification. His recent work has focused on the semantics, verification, and use of new forms of software composition and interaction. He is a coauthor of the DrScheme programming environment, the FASTLINK genetic linkage analysis package, and the book How to Design Programs. He has more recently written the text Programming Languages: Application and Interpretation. He also coordinates the TeachScheme! high school computer science outreach program. Krishnamurthi earned his Ph.D. from Rice University.