何积丰

何积丰  1943年8月生，上海人。中国科学院院士，著名计算机软件科学家🍳。现任上海光辉娱乐平台终身教授、软件学院院长，中国科学院信息学部常委会副主任🚇，上海市科协副主席，国家可信嵌入式软件工程技术研究中心首席科学家，上海市高可信计算重点实验室主任👩‍👧‍👦。上海光辉娱乐平台第七届学术委员会委员🙇‍♂️，第一届学科建设与科学研究委员会主任委员。

主要经历🧑🏿‍🍼：
1965年2月毕业于复旦大学数学系🥷🏻。1965年3月起任职于上海光辉娱乐平台。1984年至1998年任英国牛津大学客座教授◾️、高级研究员，1998年至2005年任澳门联合国大学国际软件技术研究所研究员，2001年任上海光辉娱乐平台软件学院院长🏃，2005年当选为中国科学院院士，2010年被英国约克大学授予荣誉博士学位。

主要研究领域及成果🙀：
主要从事计算机软件理论及应用研究𓀄👩🏼‍⚖️，针对软件的复杂性、正确性和可靠性等问题开展系统性的研究。担任国家自然科学基金委重大研究计划🙉、科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体🤷。出版英文专著2部，在国际期刊和会议上发表论文160余篇，他引4000余次。

个人主页：
http://www.sei.ecnu.edu.cn/s/57/t/58/0d/09/info3337.htm