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
Courses Taught
- CS 427 - Software Engineering I
- CS 598 - Adv Software Testing and Debug
Related News
Three 2021 ACM SIGSOFT Award Winners with Ties to Illinois CS
News | April 19, 2021
With 23 New Faculty, Illinois CS Expands Prowess in Education, Research
News | September 1, 2020