2007年4月28日，计算机软件专家、中科院院士、华东师范大学何积丰教授来信息学院作题为《可信计算》的报告。信息学院全体教师和部分研究生聆听了报告。会后教师、研究生和何院士进行了面对面的交流。

何积丰院士的报告先从国内外尖端技术的软件错误讲起，引申到网络上的“坑蒙拐骗”及软件缺陷所造成的损失，从而引出演讲的主题，指出计算系统最基本的功能——计算精度与正确性——也仍然存在需要研究的问题。在可信计算的讲解中，何积丰院士指出，目前软件理论的研究滞后于软件应用，90%以上对计算机网络系统的攻击利用了软件中的缺陷。何积丰院士的报告讲述了开放环境中软件系统可信度量及构造方法，并就可信计算研究中的几个难点问题结合其研究做了讲解。何积丰院士的演讲知识前沿、内容丰富，演讲思维敏捷、言语诙谐、条理清楚，自始至终紧紧吸引着我院师生的注意力。

何积丰院士，1943年8月生于上海市，1965年毕业于复旦大学数学系。现任华东师范大学软件学院院长，上海嵌入式系统研究所所长。2005年当选为中国科学院院士。1980年起，何积丰院士从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了“程序分解算子”，并将规范语言与程序语言看成是同一类数学对象，接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型，使得关系代数可用来描写程序的分解和组合过程，直接支持软件的开发。在数据精化方面，他给出了处理非确定性程序语言数据精化的完备方法。1995年，在总结了多类程序语言语义理论和方法的基础上，他与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言，以及非确定性数据流的数学模型及代数定律。近年来，他研究的软硬件协同设计系统，为减少系统芯片设计时间和降低成本提供了有益的方法。