For more information
Zhang's main research interests are in Software Engineering, and its synergy with Machine Learning, Programming Languages, and Formal Methods.
- Formal Methods
- Programming Languages
- Software Engineering
Recent Courses Taught
- CS 427 (CSE 426) - Software Engineering I
- CS 598 AST (CS 598 LMZ) - ADV Software Test. & Debugging