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)

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

  • Research Statement
  • Research Projects and Relevant Papers
  • 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)