2011年10月30日上午，由中国计算机学会主办的“CCF走进高校”系列活动在武汉大学举办。中科院院士、原北京航空航天大学校长李未教授为计算机学院全体教师和部分学生作了题为《科学发现的逻辑》学术报告。何炎祥院长主持了报告会

李院士自1988年期便一直担任软件开发环境国家重点实验室主任，在并发程序设计理论、数理逻辑和海量信息物理学方面取得了丰硕的研究成果，曾获国家自然科学、国家科技进步二等奖各一项和国家教学成果一等奖、何梁何利科技进步奖以及俄罗斯“齐奥尔科夫斯基”勋章。李院士所讲的科学发现的逻辑是超越于各具体学科的普适理论，对于启发计算机教育工作者的研究思路极有益处。

武汉大学是国家教育部直属重点综合性大学，是国家“985工程”和“211工程”重点建设高校。溯源于1893年清末湖广总督张之洞奏请清政府创办的自强学堂，历经传承演变，1928年定名为国立武汉大学，是近代中国第一批国立大学。1946年，学校已形成文、法、理、工、农、医 6大学院并驾齐驱的办学格局。1999年，世界权威期刊《Science》杂志将武汉大学列为“中国最杰出的大学之一”。2000年，武汉大学与武汉水利电力大学、武汉测绘科技大学、湖北医科大学合并组建新的武汉大学，揭开了学校改革发展的崭新一页。合校十多年来，学校综合实力和核心竞争力不断提升，2011年，学校进入英国《泰晤士报》世界大学排名400强。

图为李未院士正在作报告