Photo by Daniel Jackson, ICSE09, Vancouver, BC

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 ( PDF )

RESEARCH AND TEACHING INTERESTS:

High assurance computing systems, including formal methods for software engineering, software development environments, object-oriented analysis and design, embedded systems development, SE for autonomic computing,  visualization, parallel and distributed computing

 

Selected Recent Highlights

(See CV for complete list of publications)

  • Applying Genetic Algorithms to Decision Making in Autonomic,'' 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
  • Requirements Engineering (Fall 2006)
    •

    • Research Personnel


    (Since (updated November 2005)