导航
计算机与信息工程学院官网
您现在的位置: 首页 >> 科学研究 >> 学术交流 >> 正文

中国科学院詹乃军教授受邀作学术报告

日期:2024年01月25日       点击量:

1月25日下午,学院邀请中国科学院詹乃军教授为我院师生作主题为《模型驱动的复杂安全攸关嵌入式系统形式设计理论及开发环境》的学术报告,报告会由学院副院长左宪禹教授主持。报告会在学院201会议室举行,学院教师和研究生参加了本次报告会。

报告会上,詹乃军从网络物理系统(cyber-physical system)的谈起,介绍了复杂安全攸关嵌入式系统的设计理论,并介绍了系统的设计和实现过程。

专家简介:詹乃军,教授,博士生导师,中国科学院软件研究所计算机科学国家重点实验室主任,中国计算机学会形式化方法专业委员会副主任。2000年获中国科学院软件研究所计算机科学博士学位,1996年和1993年分别获南京大学计算机科学硕士学位和数理逻辑学士学位。国家自然科学基金优秀青年基金获得者,他曾于2001-2004年在德国曼海姆大学数学与信息学院工作。研究方向包含实时和混合系统设计的形式化技术、程序验证、模态和时态逻辑、并发计算模型、组件和对象系统的语义基础。承担国家自然科学基金杰出青年、重点、面上等国家级项目10余项,发表论文100余篇,出版著作2部,主编会议论文集4期,期刊特刊5期。是SETTAMEMOCODE指导委员会成员,FM 2021SETTA 2016PC联合主席,MEMOCODE2018MEMOCODE2019ICESS 2019的一般联合主席,并为100多个国际会议项目委员会提供服务。


上一条:天地一体化信息技术国家重点实验室贺广均研究员受邀作学术报告

下一条:中国农业大学孙瑞志教授受邀作学术报告