Lingming Zhang
For More Information
Research Statement
Zhang's main research interests are in Software Engineering, and its synergy with Machine Learning, Programming Languages, and Formal Methods.
Research Interests
- Formal Methods
- Programming Languages
- Software Engineering
Recent Courses Taught
- CS 427 (CSE 426) - Software Engineering I
- CS 527 - Topics in Software Engineering
- CS 591 SE - Software Engineering Seminar
- CS 598 AST (CS 598 LMZ) - ADV Software Test. & Debugging