球友会qy

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

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

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

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

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