5月28日下午4:00，美国波特兰州立大学Xiaoyu Song教授于JE102为工学院师生作了一场题为《Formal Modeling and Analysis of Embedded Computing Systems》的学术报告。工学院部分教师、高年级本科生及研究生共同听取了此次报告，报告会由工学院蔡彬教授主持。

 Xiaoyu Song教授从现代嵌入式系统的基础“intrinsic concurrency in CPS”出发，简单介绍了现代嵌入式系统软件研发与硬件配置之间的联系。随后，Song教授将理论与实践结合，通过严谨的数据重点为大家讲解了嵌入式系统建模的研究方法及其在“Timed  Automata”方面的应用。之后，Song教授将抽象化的知识具体化，结合控制原理和计算机科学技术强调了嵌入式系统对未来发展的重要性，并根据自身多年教学经验以及嵌入式系统的研究经历，着重指出了这一领域建模的必要性。最后，工学院师生就纳米技术及人工智能问题与Song教授展开了热烈的交流。下午6:00，报告会圆满结束。

        Xiaoyu Song，美国Portland State University电气与计算机工程系教授，博士生导师。主要研究方向:形式化方法、嵌入式系统设计、设计自动化。Song教授1992年获得意大利University of Pisa博士学位。1992-1998年于加拿大University of Montreal任教；1998年至今美国Portland State University电气与计算机工程系，2000-2005年获得英特尔奖教金。IEEE Trasactions on VLSI Systems和IEEE Transactions on Circuits and Systems期刊编辑。

作者：迟  祥

责编：赵考鹏