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

RESEARCH AND TEACHING INTERESTS:

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

 

Selected Recent Highlights

(See CV for complete list of publications)

  • 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 PROGRAM:

  • 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 INFORMATION:

  • 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


    (Since (updated November 2010)