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 598 AST (CS 598 LMZ) - ADV Software Test. & Debugging
Related News
Researchers in Software Engineering Share Expertise to Deliver Excellence
News | October 19, 2021
Illinois CS Papers Earn Top Honors at Recent Conferences
News | August 21, 2021
Three 2021 ACM SIGSOFT Award Winners with Ties to Illinois CS
News | April 19, 2021