Dr. Cheng's research and teaching interests include formal methods for software engineering, component-based software development, object-oriented analysis and design, embedded systems development, dynamically-adaptive systems, visualization, and distributed computing. She is a co-founder of the Software Engineering and Network Systems Laboratory that currently supports 6 faculty members and their graduate students. Her research has been funded by NSF, DARPA, NASA, ONR, EPA, USDA, and numerous industrial organizations.
