乐鱼app大巴黎赞助商

导航
乐鱼app大巴黎赞助商
您现在的位置: 首页 >> 科学研究 >> 学术交流 >> 正文

中国科乐鱼app大巴黎赞助商詹乃军教授受邀作学术报告

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

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

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

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


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

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

乐鱼app大巴黎赞助商 | 游戏股份有限公司