一、主 题：科学与中国
二、时 间：5月6日（星期二）下午15：30—17：00
地 点：育才校区田家炳报告厅
三、主讲人：李未 院士
四、主讲人简介
李未，男，博士，中国科学院院士、国务院学位委员会委员、国有智能计算机专家组副组长、英国科学与工程委员会高级研究、德国不莱梅大学教授级研究员、德国萨尔布吕肯大学Zuse讲座教授等，是参与创立、发展和完善结构操作语义方法的主要学者之一，系统地解决了实用并行程序设计语言，特别是并行及通讯结构的语义问题，在并行程序语言翻译正确方面做出创始性贡献，还提出开放逻辑理论，建立了形式系统序列的极限理论等，证明了正交设计的最优性，在研究和使用硅编译技术及智能计算机研究等做出突出的成绩。
校团委
教务处
科技处
2014年4月30日