近日，中國科學院公布了2021年度“中國科學院院長獎”評審結果，中國科學院軟件研究所計算機科學國家重點實驗室2016級碩博連讀生雷震東榮獲“中國科學院院長特別獎”，其指導教師蔡少偉研究員榮獲“中國科學院優秀導師獎”。 

　　雷震東，2016年進入軟件所學習，2019年轉為博士生，主要從事約束求解和啟發式算法方向的研究。他曾參與國家自然科學基金重點項目等重大國家科研任務以及騰訊，中國建設銀行等國內外知名企業科技研發任務。雷震東與合作者一起，在約束求解領域頂級期刊以及會議上發表6篇論文，從2018年至2021年期間共獲得3次國際MaxSAT比賽冠軍，并在2018年獲得了國際聯合邏輯大會辦法的奧林匹克金牌。他提出了創新的動態加權機制以及全新的混合搜索算法，在MaxSAT求解領域取得了一定突破，并被MaxSAT比賽的官方組織者認為是開辟了新的研究方向。在學期間，雷震東還獲得了博士研究生國家獎學、唐立新獎學金、朱李月華獎學金、中國科學院大學三好學生標兵等榮譽。 

　　本次獲獎是軟件所繼2019年之后連續第三年獲得該獎項。此外，2016級直博生李念龍（導師：田豐研究員）、2018級普博生張雅坤（導師：葉丹研究員）獲得 2021年“中國科學院院長優秀獎”。