鄭迥之

鄭迥之，華中科技大學計算機學院博士生。

2022年8月，華中科技大學計算機學院何琨教授與博士生鄭迥之等研發的求解器在SAT Competition 2022算法競賽中榮獲Main Track冠軍。