“轻工论坛”2018年第112期——中科院软件所詹乃军教授来我校做学术报告

供稿单位: 编辑发布:宣传部 日期:2018-12-10 设置

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

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

报 告 人:詹乃军

报告时间:20181211日下午330

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

欢迎广大师生参加

 

科技处

计算机与通信工程学院

0一八年十二月十日

 

附:詹乃军教授简介

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


返回原图
/