何积丰
中国科学院院士，计算机软件专家，华东师范大学软件学院原院长

个人履历：

何积丰：男，1943年8月生于上海市，计算机软件专家，中国科学院院士，同济大学教授，原华东师范大学软件学院院长。兼任上海人工智能安全专委会主任、上海市人工智能战略咨询专家委员会委员。曾担任中国科学院信息学部常委会副主任，上海市科协副主席，国家可信嵌入式软件工程技术研究中心首席科学家，上海市高可信计算重点实验室主任。华东师范大学第七届学术委员会委员，第一届学科建设与科学研究委员会主任委员。1965年毕业于复旦大学数学系；1980年被派往美国旧金山大学进修；1984年在英国牛津大学计算机实验室任客座教授、高级研究员；1998年担任联合国大学国际软件技术研究所高级研究员；2001年担任华东师范大学软件学院院长；2002年成为华东师范大学首批终身教授；2016年受聘为华东师范大学计算机科学与软件工程学院院长；2019年受聘为同济大学特聘教授，入职同济大学交通运输工程学院。何积丰院士主要从事计算机软件理论及应用研究，针对软件的复杂性、正确性和可靠性等问题开展系统性的研究。担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体。出版英文专著2部，在国际期刊和会议上发表论文160余篇，他引4000余次。先后以唯一完成人获得国家自然科学奖二等奖和上海市科技进步奖一等奖各1项，以项目第一完成人荣获上海市科技进步奖特等奖 ，以第一完成人获省部级科技进步奖与科技成果奖一等奖4项。荣获上海市教学名师称号、上海市教育功臣称号、上海市教书育人楷模。

论文代表：

Toward trustworthy human-cyber-physical systems: Theories, methods, and applications,Science,2021,Oct.1 App. TN.6563.
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP,Formal Aspects of Computing,10.1007/s00165-020-00513-4.
A new roadmap for linking theories of programming and its applications on GCL and CS Science of Computer Programming 162 (2018) 3–34.
Sanders: Unifying Probability.UTP 2006: 173-199.
Linking theories of concurrency,(Invited talk) In Proceedings of CSP'25,Springer,(2004).
Advanced features of Duration Calculus and their applications in sequential hybrid programs,Formal Aspect of Computing Vol 15,84-99, (2003).
An Algebraic Approach to Verilog Programming,Lecture Notes in Computer Science 2757, 65-81, (2002).
Linking theories in probabilistic programming,Information Sciences, vol 119, 205-218, (1999) .
A Predicative Semantics for the Refinement of Real-time Systems,Lecture Notes of Computer Science 802, 230-249, Springer, (1994) .
Hybrid Parallel Programming and Implementation of Synchronised Communication,Lecture Notes of Computer Science 711, 537-547, Springer, (1993).
Categorical Semantics of Programming Language,Invited talk in Workshop of the mathematical foundation of semantics of programming languages,U.S.A.1988.Lecture Notes in Computer Sciences 442.Springer,(1990) .
Algebraic specification and proof of a distributed recovery algorithm,Distributed Computing Vol 2,1-12,(1987) .

讲座主题：

《人工智能改变生活》
《软件发展和应用》
《网络空间安全技术新挑战》