陳卓(華中科技大學計算機學院碩士生)

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

基本介紹

• 中文名：陳卓
• 畢業院校：華中科技大學計算機學院

人物經歷

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

所獲榮譽

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