Cheng Ding

Hi, it’s Cheng Ding.

I’m a senior undergraduate student majoring in Computer Science at University of Science and Technology of China (USTC), and previously a research intern at UIUC working with Prof. Tianyin Xu and Prof. Owolabi Legunsen on Runtime Verification.

My research interests are in software engineering and systems, with an emphasis on developing reliability guarantees for programs.