在CNCC(中国计算机大会)2024召开期间,CCF(中国计算机学会)颁奖典礼于10月25日在横店圆明新园的夏苑法国馆隆重举行。CCF理事、监事、CNCC会议代表、各大媒体和赞助机构代表等600余位嘉宾齐聚CNCC颁奖典礼,共同见证和分享荣誉时刻。
由上海市高可信计算重点实验室主任、滴水湖国际软件学院“高安全工业软件开发技术”实验室主任、软件工程学院(滴水湖国际软件学院)邓玉欣教授独立完成的“并发进程的互模拟语义理论”项目荣获“CCF科技成果奖”自然科学二等奖。
“CCF科技成果奖”设立于2012年,授予在计算机科学、技术或工程领域具有重要发现、发明、原始创新,在相关领域有一定国际影响力,且国内尚未获得政府奖励的优秀科技成果。国内任何单位的优秀科技成果均有资格申报或被推荐。
项目介绍
该项目在经典并发理论和概率并发理论的形式化语义研究方面取得突破,为有限CCS进程提出了统一五种弱同余关系公理化的方法,证明了有限概率标号迁移系统上测试语义与模拟语义的一致性,并从度量、逻辑和算法等角度刻画了概率进程的互模拟关系。
近年来,上海市高可信计算重点实验室聚焦于可信软件的建模和验证理论、智能测试方法、可信人工智能、密码与网络安全等方向的研究。并发理论是形式化建模理论的重要组成部分,为并发、分布式系统的规范、分析、设计和验证提供理论支撑。为进一步把理论研究与工业实践相结合,实验室相关团队正在组织力量深入研究高安全工业软件开发的共性技术,帮助企业建立可信软件开发流程,保障软件产品的安全性和可靠性,助力数字经济发展。
未来,学院将继续面向世界科技前沿,全面推进落实“卓越学术工程”计划,推进滴水湖国际软件学院高水平建设与发展,强化组织科研模式,为高端软件人才培养、高水平科学研究和高质量成果转化储备力量,打造一支高水平科研队伍。
内容来源于获奖者
编辑丨陈励
审核丨曹桂涛 张民