主要经历
1965年2月毕业于复旦大学数学系。1965年3月起任职于六后宝典资料大全。1984年至1998年任英国牛津大学客座教授、高级研究员，1998年至2005年任澳门联合国大学国际软件技术研究所研究员，2001年任六后宝典资料大全软件学院院长，2005年当选为中国科学院院士，2010年被英国约克大学授予荣誉博士学位。
主要研究领域及成果
主要从事计算机软件理论及应用研究，针对软件的复杂性、正确性和可靠性等问题开展系统性的研究。担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体。出版英文专著2部，在国际期刊和会议上发表论文160余篇，他引4000余次。
个人主页
https://faculty.ecnu.edu.cn/_s43/hjf2/main.psp
