Betty H.C. Cheng

Photo by Greg Kohuth, MSU University Relations, 2007

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)

  • ``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
  • AFRL
  • ONR
  • MSU Quality Fund
    •

    • TEACHING INFORMATION:

  • Teaching Statement
  • Recent teaching assignments
  • Requirements Engineering (Fall 2006)
    •

    • Research Personnel

     

    PROFESSIONAL ACTIVITIES:

     

  • Selected Recent Major Conference and Workshop Activities

    •  

    MISCELLANEOUS:

  • Schedule
  • Information for new students working with me
  • Other Interests (under construction)
  • Recent Presentations
  • A Requirements Pattern-Driven Approach to Modeling and Analyzing Embedded Systems
  • SE for High Assurance Slides (draft)
  • ERC Slides
  • Integrating Informal and Formal Techniques
    •
  • 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 cse.msu.edu
    URL: http://www.cse.msu.edu/~chengb
    Betty H.C. Cheng - Home Page / chengb at cse.msu.edu

    • (Since (updated November 2005)