Betty Cheng

About

Dr. Cheng's research and teaching interests include high assurance computing systems, including safety and security for AI-enabled autonomous systems and vehicles, model-driven engineering (MDE), requirements engineering, formal methods for software engineering, and search-based software engineering. Her work has been funded by NSF, AFRL, ONR, DARPA, ARO, NASA, EPA, and USDA. She collaborates extensively with industry for both her research and project-oriented courses, including Ford Motor Company, General Motors, Flex-n-Gate, Auto Konnect, Continental Automotive, Motorola, and Siemens. She has received the Michigan State University Distinguished Faculty Award for outstanding scholarship and service to the University, the MSU College of Engineering Withrow Outstanding Scholar Award, and th

Education

• Ph.D., Computer Science, University of Illinois-Urbana Champaign 1990
• M.S., Computer Science, University of Illinois-Urbana Champaign 1987
• B.S., Computer Science, Northwestern University 1985

Selected publications

• "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.