应我校计算机与通信工程学院邀请,中科院研究所詹乃军教授来我校做“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》、《软件学报》、《计算机研究与发展》的编委。