1943年8月5日出生于上海市，计算机软件专家，中国科学院院士，上海华科智谷人工智能研究院院长，原华东师范大学软件学院院长、教授、博士生导师。中国科学院信息学部常委会副主任，上海市科协副主席，国家可信嵌入式软件工程技术研究中心首席科学家，上海市高可信计算重点实验室主任。华东师范大学第七届学术委员会委员，第一届学科建设与科学研究委员会主任委员。曾任杭州国际服务工程学院院长、上海嵌入式系统研究所所长、上海开源大数据研究院理事长。

1965 年何院士从复旦大学数学系毕业，随后进入华东师范大学工作，先后担任教授、博士生导师； 1980 年被派往美国旧金山大学进修； 1984 年在英国牛津大学计算机实验室任客座教授、高级研究员； 1998 年担任联合国大学国际软件技术研究所高级研究员； 2001 年担任华东师范大学软件学院院长； 2002 年成为华东师范大学首批终身教授； 2005 年当选中国科学院院士； 2010 年被英国约克大学授予荣誉博士学位； 2015 荣获法国国家棕榈教育骑士勋章、 2016 年受聘为华东师范大学计算机科学与软件工程学院院长、 2018 年受聘为上海工业控制系统安全创新功能型平台（上海工业控制安全创新科技有限公司） 首席科学家、 2020 年， 创建上海自主智能无人系统科学中心可信人工智能研究所 。

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