主要經歷
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
