Blackburn, Mark - Mark R. Blackburn has twenty years of software systems engineering experience in development, project leadership and applied research in specification-based testing, object technology, requirement and design specification, formal methods, and formal verification. He is also the President of T-VEC Technologies, Inc. and co-inventor of the T-VEC system an advanced specification and verification environment.
blackburn@t-vec.com
Fenton, Norman - Norman Fenton is Professor of Computing at Queen Mary and Westfield College (London University) and is the Head of RADAR (Risk Assessment and Decision Analysis) Group. He is also Managing Director of Agena, a company that specializes in risk management for critical systems. He has been project manager and principal researcher in many major collaborative projects in the areas of: software metrics; formal methods; empirical software engineering; software standards, and safety critical systems. His recent research projects, however, have focused on the use of Bayesian Belief nets (BBNs) and Multi-Criteria Decision Aid for risk assessment.
Gries, David - Dr. Gries is a professor of Engineering at Cornell
University. His interests are in programming methodology,
in particular the formal development of programs, and
in related areas such as programming languages,
programming language semantics, and logic. He is an
award winning educator in the use of logic for
computer science.
gries@cs.cornell.edu
Kemerer, Chris - Dr. Chris F. Kemerer is the David M. Roderick Professor of Information Systems at the Katz Graduate School of Business, University of Pittsburgh and an Adjunct Professor of Computer Science at Carnegie Mellon University. Previously, he was an Associate Professor at MIT’s Sloan School of Management.
He received the B.S. degree magna cum laude from the Wharton School at the University of Pennsylvania and the Ph.D. degree from Carnegie Mellon University, where his dissertation topic was “Measurement of Software Development Productivity”.
Rushby, John - Dr. Rushby is the Program Director for Formal Methods and Dependable Systems at the SRI International Computer Science Laboratory. His interests include, the design and assurance of "critical systems", including properties such as security and safety, mechanisms such as kernelization and fault tolerance, and formal methods for assurance. Rushby@csl.sri.com
Electrical and Computer Engineering
Department Virginia Tech
Office: 341 Durham Hall
Mailing Address:
340 Whittemore Hall
Blacksburg VA 24061
Tel: (540) 231-2133
Fax: (540) 231-3362
Email: shulka@vt.edu
Zelkowitz, Marvin - Dr. Zelkowitz is a professor at the University of Maryland. His research interests include experimentation in software engineering, environments, formal methods, technology transfer, and program complexity. His page gives an overview of his research and pointers to interesting sites.
DACS Gold Practice Initiative
