应形式化验证课题组的邀请，波特兰州立大学 Xiaoyu Song（宋晓宇）教授 于9月16日 到公司学术报告。                                                                                                                       时间：9月16日星期五 下午 2:00                                                                                                                     地点：二楼大会议室                                                                                                                       欢迎老师们前来参加！   下面是报告简介：   =========================================================== Title: Formal Modeling and Analysis of Embedded Computing Systems   Abstract: Reliable hardware and software systems play a key role in applications where failure is unacceptable. Formal method has become an important technique towards establishing the correctness of safety-critical system designs and is attracting interest in industry. The talk discusses formal modeling and verification techniques for system designs. The successful validation experience and potential research directions are addressed.   Bio: X. Song received his Ph.D. degree from University of Pisa, Italy, 1991. From 1992 to 1999, he was on the faculty of the Department of Computer Science at the University of Montreal, Canada. Now he is a professor in the Department of Electrical & Computer Engineering at Portland State University. His research interests include formal methods for hardware and software systems, embedded system design, design automation, and optimization. He served as an associate editor of IEEE Transactions on Circuits and Systems and IEEE Transactions on VLSI Systems.