我院潘敏学副教授荣获2023年NASAC青年软件创新奖

发布日期:2023-12-19 浏览次数:


2023 年 12 月 3 日,在中国计算机学会主办,中国计算机学会系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办的 " 2023年 CCF 中国软件大会 ( CCF ChinaSoft 2023 ) " 会议期间,颁发了 2023 年 NASAC 青年软件创新奖。CCF 系统软件专委会主任、北京大学金芝教授代表评奖委员会宣布获奖者,我院潘敏学,和复旦大学陈碧欢、中国科学院软件研究所窦文生、北京大学张颖荣获该奖,北京大学梅宏院士、华为中央软件院上研分部部长冯雨声先生共同为获奖人颁奖。



评奖委员会认为,潘敏学致力于复杂软件可信保障技术研究,决定向他颁发 2023 年 NASAC 青年软件创新奖,以表彰他在复杂软件建模、测试与验证等方面所做的工作。




" NASAC青年软件创新奖 " 由中国计算机学会软件工程专委与系统软件专委联合设立,目的是激励中国软件领域的青年科技工作者在科学、技术及应用等领域作出创新性成果,解决现实问题,推动生产力进步,促进青年软件人才的成长。该奖项针对在软件领域的科学研究、技术发明、系统开发及应用等方面有突出成就和重大贡献、年龄不超过40岁的软件领域研究人员。