8月20日，中國科學院公布了2019年度中國科學院院長獎評審結果，軟件所博士生陳明帥榮獲2019年“中國科學院院長特別獎”，其指導教師詹乃軍研究員榮獲 2019年“中國科學院優秀導師獎”。這是軟件所首次獲得該獎項。 

　　陳明帥，2013級直博生，導師為詹乃軍研究員，攻博期間，從事安全攸關嵌入式系統方向的研究，曾參與嫦娥三號著陸、高速鐵路控制等國家重大工程中的控制軟件正確性保障工作。該生與合作者一起，在形式化方法、程序驗證、控制生成、自動推理等多個領域內發表學術論文13篇，其中含IEEE Trans. Automat. Contr.、CAV、IJCAR、FM、CADE等頂級國際期刊和會議。值得一提的是，該生給出了目前國際上最好的連續動態系統的可達性判定結果，同時，在時滯動態系統的形式驗證與控制生成方向所取得的若干系統性的理論創新，包括曾獲ATVA 2018杰出論文獎的時滯安全博弈理論，吸引了眾多國內外學者對這一方向進行研究，推動了該領域在近年來的快速發展。曾作為從全球申請者中選拔出的100位年輕學者之一，參加第六屆Heidelberg Laureate Forum，與計算機和數學等領域的最高獎得主們交流討論。該生還曾獲2018年博士研究生國家獎學金，2019年7月畢業后赴德國做博士后研究工作。 

　　此外，2015級碩博連讀生李勇、2017級碩博連讀生高鈺以及2017級碩士生馬帥獲得2019年 “中國科學院院長優秀獎”。 

　　2019年度全院共80人獲“中國科學院院長特別獎”，400人獲“中國科學院院長優秀獎”。