11月3日研究生溯采讲坛第111讲：李未院士讲座预告

    讲座题目：群体软件工程
    主 讲 人：李未院士
    讲座时间：2016年11月3日14：00
    讲座地点：杭州志成大酒店
    主讲人简介：
    李未，中国科学院院士、国务院学位委员会委员、国有智能计算机专家组副组长等。李院士系统地解决了实用并行程序设计语言，特别是并行及通讯结构的语义问题，在并行程序语言翻译正确方面做出创始性贡献。还提出开放逻辑理论，建立了形式系统序列的极限理论等，证明了正交设计的最优性，在研究和使用硅编译技术及智能计算机研究等做出突出的成绩。