1月25日下午，做爱色情片
邀请中国科做爱色情片
詹乃军教授为做爱色情片
师生作主题为《模型驱动的复杂安全攸关嵌入式系统形式设计理论及开发环境》的学术报告，报告会由做爱色情片
副院长左宪禹教授主持。报告会在做爱色情片
201会议室举行，做爱色情片
教师和研究生参加了本次报告会。
报告会上，詹乃军从网络物理系统（cyber-physical system）的谈起，介绍了复杂安全攸关嵌入式系统的设计理论，并介绍了系统的设计和实现过程。
专家简介：詹乃军，教授，博士生导师，中国科做爱色情片
软件研究所计算机科学国家重点实验室主任,中国计算机学会形式化方法专业委员会副主任。2000年获中国科做爱色情片
软件研究所计算机科学博士学位，1996年和1993年分别获南京大学计算机科学硕士学位和数理逻辑学士学位。国家自然科学基金优秀青年基金获得者，他曾于2001-2004年在德国曼海姆大学数学与信息做爱色情片
工作。研究方向包含实时和混合系统设计的形式化技术、程序验证、模态和时态逻辑、并发计算模型、组件和对象系统的语义基础。承担国家自然科学基金杰出青年、重点、面上等国家级项目10余项，发表论文100余篇，出版著作2部，主编会议论文集4期，期刊特刊5期。是SETTA和MEMOCODE指导委员会成员，FM 2021、SETTA 2016的PC联合主席，MEMOCODE2018、MEMOCODE2019和ICESS 2019的一般联合主席，并为100多个国际会议项目委员会提供服务。
