应我校计算机与通信工程学院邀请，中科院研究所詹乃军教授来我校做“Formal Analysis and Synthesis of Delay Dynamical and Hybrid Systems”学术报告。具体事宜如下：

报告题目： Formal Analysis and Synthesis of Delay Dynamical and Hybrid Systems

报 告 人：詹乃军

报告时间：2018年12月11日下午3：30

报告地点：计算机楼213会议室

欢迎广大师生参加

科技处

计算机与通信工程学院

二0一八年十二月十日

附：詹乃军教授简介

詹乃军，中国科学院软件研究所研究员，中国科学院特聘研究员，杰青获得者，中国科学院大学岗位教授，中国科学院软件研究所计算机科学国家重点实验室副主任。1993年南京大学数学系获得学士学位；1996年南京大学计算机系获得硕士学位；2000年中国科学院软件研究所获得博士学位。2001.5-2004.7，在德国曼海姆大学数学与信息学院工作；2004.9-今，在中国科学院软件研究所工作。现为《Formal Aspects of Computing》、《Journal of Logical and Algebraic Methods in Programming》、《软件学报》、《计算机研究与发展》的编委。