计算机学院邀请香港科技大学顾宗华博士作报告

6月5日下午，香港科技大学计算机科学与工程系顾宗华博士应西工大计算机学院董云卫教授的邀请，在计算机学院学术报告厅就实时嵌入式系统设计作了“分布式多任务实时嵌入式系统的有效设计空间探索及优化”的专题学术报告。

顾宗华教授以设计空间探索为主题，介绍了DSE的概念及四大关键技术SAT，SMT，Benders分解及模型检验。随后，针对设计空间探索中的热点问题，详细讲述了关键技术解决问题的方案。计算机学院的教师，博士和研究生参与了本次讲座。讲座现场气氛活跃，内容深入浅出，突出了技术的针对性和实用性。不仅使相关专业人士学习了先进的技术，开拓了思路，同时也促进了学院在实时嵌入式系统设计研究方面的校际间的学术交流。

顾宗华博士简介：香港科技大学科学与工程系助理教授，本科毕业于中国科技大学，在美国密歇根大学获得博士学位，在弗吉尼亚大学做过博士后，2005年进入香港科技大学从事科研工作，研究领域是实时嵌入式系统与软件工程。（计算机学院凌恒）