10月10日下午3：00，上海交通大学傅育熙教授在学院报告厅作了题为《计算机科学的结构与问题》的学术报告。会议由公司经理李永明教授主持，公司部分教师参加了报告会，12级全体研究生及部分博士生也聆听了本次报告。

傅育熙教授现为上海交通大学教授。1986年毕业于同济大学计算机系，获工学学士学位。1988年由国家教委公派到英国曼彻斯特大学计算机系攻读博士学位，师从著名计算机科学家David Rydeheard, 研究方向为类型理论及其语义。1992年获博士学位，论文题为“类型理论中的语义问题”，考官由著名数理逻辑学家兼计算机科学家Peter Aczel和著名数学家兼计算机科学家Martin Hyland担任。1993年，在曼彻斯特大学计算机系当研究助理，参与研究了欧共体项目“CLICS-II”。1994年1月至今在上海交通大学计算机科学与工程系工作。先后主持完成了国家八六三项目、教育部资助优秀青年教师、高等学校骨干教团队助计划、 教育部博士点基金、上海市科委重点项目、国家杰出青年科学基金等多项重大项目。

本次报告会，傅育熙教授从宏观上介绍了什么是计算机科学，提出了什么问题可以用模型解决、怎么解决问题以及怎么有效地解决问题这三大问题，简要地介绍了不动点、格论的一些相关的知识，由此引出了模型这个基础，并对模型理论以及应用做了简单的说明。最后傅育熙教授对老师和同学们提出的问题进行了详细的解答，并给予同学们建议和鼓励。