近日，中国科学院公布了2024年度“中国科学院院长奖”评审结果，中国科学院软件研究所基础软件与系统重点实验室2018级硕博连读生张昕荻榜上有名。其指导教师蔡少伟研究员荣获“中国科学院优秀导师奖”。

张昕荻，2018年进入软件所学习，2020年转为博士生，主要从事逻辑求解器及其应用的研究。他曾参与中国科学院战略先导A专项课题、国家重点研发等重大科研项目以及知名企业科技研发项目。在SAT、CAV、ICSE、ICCAD等国际权威会议和期刊累计发表学术论文12篇，拥有国家发明专利数项。与导师蔡少伟研究员共同提出的混合求解技术，解决了1997年Bart　Selman命题逻辑挑战的第七项，取得领域权威会议SAT会议“最佳论文奖”（目前国内唯一）。他参与研制的求解器在国际SAT竞赛、国际SMT竞赛、国际联合逻辑会议奥林匹克竞赛中获得金牌／冠军累计十余项，并取得“强网杯”密码数学专项赛的全国总冠军。相关成果既能在技术层面落地又能促进理论创新。

在学期间，张昕荻获得过博士研究生国家奖学金、中国教育发展基金会“奋进奖学金”、朱李月华优秀博士、中国科学院大学优秀毕业生、北京市优秀毕业生等荣誉称号。2024年7月，张昕荻还作为优秀毕业生代表在中国科学院大学毕业典礼上发言。

本次获奖是软件所继2019年之后连续第六年获得该奖项。此外，2019级硕博连读生陈家慰（导师：韩先培研究员）、2018级硕博连读生刘昱玮（导师：苏璞睿研究员）、2019级直博生张洪滨（导师：武延军研究员）获得2024年“中国科学院院长优秀奖”。

中国科学院院长奖学金设立于1989年，分为特别奖和优秀奖，每年评选一次。2024年全院共80人获“中国科学院院长特别奖”，400人获“中国科学院院长优秀奖”。