Molecular and Genetic Medicine

Chen G

Biography

  Cheng is a Professor of Computer Science and Engineering at Michigan State University. Her research and teaching interests are broadly in the area of rigorous techniques for the development of high-assurance systems, including model-driven engineering, dynamically-adaptive systems, embedded systems development, formal methods for software engineering, component-based software development, ultra-large scale systems, and harnessing evolutionary computation for automated software development. She was awarded a Faculty Fellowship from the California Institute of Technology and the NASA Jet Propulsion Laboratory in 1993 to apply newly developed requirements analysis and design techniques to a portion of the Shuttle software. In 1998, she spent her sabbatical working with the Motorola Software Labs investigating automated analysis techniques of specifications of telecommunication systems. Dr. Cheng is a co-founder of the Software Engineering and Network Systems Laboratory that currently supports 5 faculty members and their graduate students. Her research has been funded by NSF, DARPA, NASA, ONR, EPA, USDA, and numerous industrial organizations.

Research Interest

 Chen G  research interest focuses on 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