讲座题目：Symbolic Semantics for Open Systems and Their Bisimulation Algorithms 主讲人：Eric Madelaine 研究员 主持人：张敏 副教授 开始时间：2019-05-15 14:00:00 结束时间：2019-05-15 15:00:00 讲座地址：中北校区数学馆201 主办单位：计算机科学与软件工程学院
报告人简介： Dr. Eric Madelaine has an engineer diploma from Ecole Polytechnique de Paris, a PhD in computer science in 1983 from university of Paris 7, and an HdR from university of Nice Sophia-Antipolis in 2011. He is a researcher at INRIA since 1983, and he is currently member the Kairos research-team at INRIA Sophia-Antipolis. His research domains range from programming language semantics and process algebras, formal methods and model-checking, to specification and verification techniques for distributed applications. He has been member of 20+ program committees, and he is chair of the steering committee of the FACS symposium. He has been participating in many French and European projects, and he was PI in various bilateral projects, including Chile, Argentina, and China. |
