Guangze Deng is a member of CYCLE at the College of Information Science and Engineering, Hunan University, and a second-year undergraduate student. His research interests include numerical program analysis and the repair of floating-point expressions.