周建榮

華中科技大學計算機學院博士生 ^[1]  。

2022年8月，何琨教授與博士生鄭迥之等研發的求解器在SAT Competition 2022算法競賽中，榮獲Main Track冠軍。參賽團隊成員還包括何琨教授的博士生周建榮。