Lingming Zhang
Lingming Zhang
Associate Professor
(217) 244-8921
2104 Siebel Center for Comp Sci

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) - Software QA w Generative AI