6月30日，上海交通大学傅育熙教授前来我校讲学。傅育熙教授是国家杰出青年科学基金获得者，现任上海交通大学软件学院院长，上海高校软件理论研究中心主任，上海交通大学-微软“智能计算与智能系统”教育部重点实验室主任，中国计算机学会理事会理事，中国数学会数理逻辑专业委员会常务理事，Asian Association for Foundation of Software的执行委员等职务。担任国际著名学术期刊Mathematical Structures in Computer Science等十多个学术刊物的编委，获聘国务院学位委员会第六届学科评议组成员。
傅育熙教授于30日下午在我校明故宫校区计算机科学与技术学院报告厅为广大师生作了《On the Foundations of Computer Science》的学术报告。报告会由黄志球院长主持，傅育熙教授介绍了近期关于模型理论的研究进展。模型理论是当前计算机科学基础理论的一个重要研究方向，目的在于将已有的各种计算模型统一到一个理论框架下进行研究，并对各种模型的特性进行比较。傅教授给出了模型理论的四条原则，认为各模型必须满足完备性等性质。
报告结束后，黄院长首先对傅教授的精彩报告表示感谢，并与傅教授探讨了模型理论与软件工程技术之间的联系。之后师生们积极提问，热烈交流。我院的朱朝晖教授、曹子宁教授就模型理论相关的逻辑和进程代数理论等问题与傅教授展开了探讨。其他教师和研究生也就各自关心的话题与傅教授进行了交流，让广大师生享受了学术的饕餮大餐。
书记信箱