应我校计算机学院计算理论与技术研究所段振华教授邀请，4月5日～4月9日，中科院何积丰院士来我校计算机学院、软件学院进行了讲学访问。
　　两次讲座均安排在图书馆学术报告厅，分别为：
　　4月5日上午9:00～11:00 Survivability of Internet-based Systems
　　4月7日下午3:00～4:30 Linking Theories of Concurrency
　　4月7日中午，何积丰院士应段振华教授邀请，参观了计算理论与技术研究所，并与研究生进行了亲切热烈的交流。
　　4月7日下午4:30，何积丰院士参加了计算机学院青年教师学术沙龙成立会议。在会议中，何积丰院士对青年教师提出的如何开展科研、处理科研与教学关系等问题一一进行了解答，气氛轻松热烈，交流十分融洽。
　　4月7日下午5:45分，在图书馆会议室举行了何积丰双聘院士聘任仪式，段宝岩校长、计算机学院、软件学院、人事处等单位领导参加了聘任仪式。（计算机学院计算理论与技术研究所 软件学院软软件工程研究所 国际合作与交流处 人事处）
　　
　　何积丰院士简历
　　何积丰教授是我国著名计算机软件专家，中国科学院院士，现任华东师范大学终身教授、软件学院院长，上海嵌入式系统研究所所长，联合国大学国际软件技术研究所高级研究员。
　　1980年代起，他从事程序设计理论及其应用研究，与C.A.R.Hoare（1980年图灵奖得主）合作研究达18年之久。1986年和C.A.R.Hoare提出了“程序分解算子”，并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型，使得关系代数可用来描写程序的分解和组合过程，直接支持软件的开发。在数据精化方面，给出了处理非确定性程序语言数据精化的完备方法。
　　1995年，他在总结了多类程序语言语义理论和方法的基础上，与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言，以及非确定性数据流的数学模型及代数定律。近年来，他研究的软硬件协同设计系统，为减少系统芯片设计时间和降低成本提供了有益的方法。
　　2001年以来，先后担任四个国家和上海市科研项目的主持人。他发表SCI、EI检索论文50余篇，被SCI他引400多次。曾先后获国家自然科学二等奖（唯一）、电子工业部科技成果一等奖等奖项。