Betty H.C. Cheng is a Professor of Computer Science and Engineering at Michigan State University. Her research and teaching interests are broadly in the area of rigorous techniques for the development of high-assurance systems, including model-driven engineering, dynamically-adaptive systems, embedded systems development, formal methods for software engineering, component-based software development, ultra-large scale systems, and harnessing evolutionary computation for automated software development. She was awarded a Faculty Fellowship from the California Institute of Technology and the NASA Jet Propulsion Laboratory in 1993 to apply newly developed requirements analysis and design techniques to a portion of the Shuttle software. In 1998, she spent her sabbatical working with the Motorola Software Labs investigating automated analysis techniques of specifications of telecommunication systems. Dr. Cheng is a co-founder of the Software Engineering and Network Systems Laboratory that currently supports 5 faculty members and their graduate students. Her research has been funded by NSF, DARPA, NASA, ONR, EPA, USDA, and numerous industrial organizations.

Dr. Cheng received her BS from Northwestern University in Evanston, Illinois in 1985 and her MS and PhD degrees from the University of Illinois-Urbana Champaign in 1987 and 1990, respectively, all in Computer Science. She may be reached at the Department of Computer Science and Engineering, Michigan State Univ., 3115 Engineering Building, East Lansing, MI 48824; chengb at;