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
- CS 427 - Software Engineering I
- CS 598 - Adv Software Testing and Debug