Dr. Cheng's research and teaching interests include formal methods for software engineering, component-based software development, object-oriented analysis and design, embedded systems development, dynamically-adaptive systems, visualization, and distributed computing. She is a co-founder of the Software Engineering and Network Systems Laboratory that currently supports 6 faculty members and their graduate students. Her research has been funded by NSF, DARPA, NASA, ONR, EPA, USDA, and numerous industrial organizations.
MSU Distinguished Faculty Award, 2007
MSU College of Engineering Withrow Distinguished Scholar Award, 2008
MSU College of Engineering Withrow Teaching Award, 1998
B.S., Computer Science, Northwestern University 1985
M.S., Computer Science, University of Illinois-Urbana Champaign 1987
Ph.D., Computer Science, University of Illinois-Urbana Champaign 1990
"Harnessing Digital Evolution,'' IEEE Computer 2008 (P. McKinley, B.H.C. Cheng, C. Ofria, D. Knoester, B. Beckmann, H. Goldsby), pp. 54-63. (Automatic generation of adaptive software and software models.)
"Research Directions of Requirements Engineering,'' IEEE ICSE 2007, Future of Software Engineering (co-authored with Jo Atlee), pp. 285-303.
"Model-Based Development of Dynamically Adaptive Software'' (Ji Zhang and Betty H.C. Cheng), in Proceedings of IEEE International Conference on Software Engineering (ICSE06), Shanghai, China, May 2006. (9% acceptance rate) (Received Distinguished Paper Award), pp. 371-380.
MSU Scholars ID