Lingming Zhang

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 - Software Engineering I
  • CS 598 AST (CS 598 LMZ) - Special Topics