何积丰

       何积丰，男，1943年8月生，上海人，中国科学院院士，计算机软件和信息技术领域领军专家，被国际计算机科学界誉为“面向模型软件开发方法的奠基石”。现任华东师范大学终身教授、软件学院院长，同济大学特聘教授，工信部新一代人工智能标准与应用重点实验室主任委员。兼任中国科学院信息学部常委会副主任，上海市科协副主席，国家可信嵌入式软件工程技术研究中心首席科学家，上海市高可信计算重点实验室主任，国家自然科学基金委“可信软件基础研究”重大研究计划首席科学家，科技部“海量信息的协同性和可生存性的理论与实践研究”973项目首席科学家。曾两次荣获英国女王先进技术奖，被授予“法国国家棕榈教育骑士”勋章。
       1965年毕业于复旦大学数学系。1980年起，从事程序设计理论及其应用研究，其在安全软件设计方面的论著被国际软件界广泛引用。并率先提出关系程序设计语言，被欧洲计算机界认为是继过程语言、函数程序、逻辑程序之后的第四类程序语言的先驱，因而被欧洲软件界权威人士赞之为“软件设计技术上的一座里程碑”。曾出版英文专著多部，在国际期刊和会议上发表论文数百篇。曾先后荣获“国家有突出贡献中青年专家”、“英国先进技术女皇奖”、“感动上海十大人物”、“上海市劳动模范”、及“上海市科技功臣奖”等多项荣誉表彰。