2017年6月20日下午，我校优秀校友美国圣母大学林海教授，应我院贺威教授的邀请，来到自动化学院，在机电信息楼1104会议室，做了题为“Towards Scalable Formal Design of Large-Scale Distributed Cyber-Physical Systems”的学术报告。我院党委书记李擎教授、肖文栋教授，北京航空航天大学刘金琨教授、北京信息科技大学李庆奎教授等出席会议，本校及北航部分博士生及硕士生一同聆听了此次学术报告。
报告会开始，贺威向在场师生简单介绍了林海的学术经历和学术成就，在场各位教授和学生对林海的到访表示热烈的欢迎，之后，学术报告正式开始。
报告会上，林海介绍了信息物理系统的研究方向和研究范围，结合自顶向下和自下而上的设计方法，讲述分布式信息物理系统的设计框架，设计思路，最后提出控制科学理论研究的新思路，即与计算机学科智能算法相结合开发新的控制算法。整个报告过程简洁清晰，深深吸引了大家的注意。
报告会最后，与会的多位老师及同学们结合自己的研究领域有针对性的提出了自己的问题和想法，与林海教授进行了深入的交流与探讨。林海教授的学术报告，使得在座师生对信息物理系统有了更多的认识，在今后的学术、科研方面有了更多的想法。报告会伴随着热烈的掌声圆满结束。
报告人简介：
Hai Lin is currently an associate professor at the Department of Electrical Engineering, University of Notre Dame, where he got his Ph.D. in 2005. Before returning to his alma mater, Hai has been working as an assistant professor in the National University of Singapore from 2006 to 2011. Dr. Lin's teaching and research interests are in the multidisciplinary study of the problems at the intersections of control, communication, computation, machine learning and computational verification. His current research thrust is on cyber-physical systems, multi-robot cooperative tasking, and human-machine collaboration. Hai has been served in several committees and editorial board, including IEEE Transactions on Automatic Control. He is currently serving as the Chair for the IEEE CSS Technical Committee on Discrete Event Systems. He served as the Program Chair for IEEE ICCA 2011, IEEE CIS 2011 and the Chair for IEEE Systems, Man and Cybernetics Singapore Chapter for 2009 and 2010. He is a senior member of IEEE and a recipient of 2013 NSF CAREER award.
（责编：贡星悦）
