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 cse.msu.edu;
www.cse.msu.edu/~chengb.