Photo by Derrick Turner, November 2010, MSU University Relations

Betty H.C. Cheng

Professor in Computer Science and Engineering.

Ph.D., University of Illinois at Urbana-Champaign

MSU College of Engineering Withrow Distinguished Scholar Award, 2008

MSU Distinguished Faculty Award, 2007

Short Biography
Curriculum Vitae


High assurance computing systems, including formal methods for software engineering, object-oriented analysis and design, embedded systems development, SE for dynamically adaptive systems and autonomic computing,  harnessing evolutionary computation and digital evolution for ultra-large scale software-intensive systems


ICSE 2013


Selected Recent Highlights

(See CV for complete list of publications)

  • ACM DL Article: A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015)
  • BEACON: NSF Funds $25M Science and Technology Center at MSU. ``BEACON: An NSF Center for Study of Evolution in Action''; Collaborating Instiutions: University of Washington, University of Texas-Austin, University of Idaho, and North Carolina State University A&T. ( AP Press Release, Feb. 17, 2010) (Renewed for another 5 years at $22.5M, July 2015)

  • Applying Genetic Algorithms to Decision Making in Autonomic Computing Systems,'' IEEE Computer 2009 (A. Ramirez, B.H.C. Cheng, D. Knoester, P. McKinley), pp. 54-63 ICAC '09. International Conference on Autonomic Computing, June 2009. (Best Paper Award)
  • `` Digital Evolution of Behavioral Models for Autonomic Systems,'' H.J. Goldsby, B.H.C. Cheng, P.K. McKinley, D.B. Knoester, C.A. Ofria, ICAC '08. International Conference on Autonomic Computing, pp.87-96, June 2008, (Best Paper Award) ,
  • ``Harnessing Digital Evolution,'' IEEE Computer 2008 (P. McKinley, B.H.C. Cheng, C. Ofria, D. Knoester, B. Beckmann, H. Goldsby), pp. 54-63 (IEEE Digital Library Link). (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. (IEEE Digital Library Link).

  • `` 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.
  • Recently Requested Papers

  • ACM DL Author-ize serviceTowards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty
    Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng
    SEAMS 2014 Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing 2014

  • Research Statement
  • Site Director, NSF Research Center for Ultra-Large Scale Software-Intensive Systems (ULSSIS)
  • High Assurance Computing Systems Initiative
  • Research Lab Affiliations:

  • SENS (Software Engineering and Network Systems Lab)
  • DEVOLab (Digital Evolution Lab)
  • Research Sponsors:

  • NSF
  • ARO
  • AFRL
  • ONR
  • Ford Motor Company
  • MSU Quality Fund

  • Teaching Statement
  • Recent teaching assignments
  • CSE870 Advanced Software Engineering (Spring 2010)
  • CSE435 Software Engineering (Fall 2009) 
  • Requirements Engineering (Fall 2006)
  • CSE914 Topics in Formal Methods for Software Development (Emphasize Adaptive Software, Fall 2003)
  • NSC840 Writing (Summer 2002)

  • Research Personnel




  • Selected Recent Major Conference and Workshop Activities

  • Useful Links for Students
  • Programming Language Notes (including Compiler module)
  • Flex Documentation (Lexical Analyzer)
  • Flex Lab Notes and Directory
  • Bison Documentation (Parser Generator)
  • Bison Lab Notes and Directory

  • Contact information :

    Prof. Betty H.C. Cheng
    Dept. of Computer Science and Engineering
    3115 Engineering Building
    Michigan State University
    East Lansing, MI 48824-1226
    Telephone: (517) 355-8344
    FAX: (517) 432-1061
    Email: chengb at

    Betty H.C. Cheng - Home Page / chengb at

  • (Since (updated November 2010)