Cheng Ding

Hi, it’s Cheng Ding.

I’m a second-year ECE PhD student at the University of Texas at Austin(UT Austin), advised by Prof. Milos Gligoric.

I got my Bachelor degree at the University of Science of Technology of China(USTC). I was previously a research intern at UIUC working with Prof. Tianyin Xu and Prof. Owolabi Legunsen on Runtime Verification.

My research interests are in software testing, verification, machine learning and database.