陳卓

華中科技大學計算機學院碩士生。

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