主要經(jīng)歷
1965年2月畢業(yè)于復(fù)旦大學(xué)數(shù)學(xué)系。1965年3月起任職于華東師范大學(xué)。1984年至1998年任英國(guó)牛津大學(xué)客座教授、高級(jí)研究員,1998年至2005年任澳門(mén)聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所研究員,2001年任華東師范大學(xué)軟件學(xué)院院長(zhǎng),2005年當(dāng)選為中國(guó)科學(xué)院院士,2010年被英國(guó)約克大學(xué)授予榮譽(yù)博士學(xué)位。
主要研究領(lǐng)域及成果
主要從事計(jì)算機(jī)軟件理論及應(yīng)用研究,針對(duì)軟件的復(fù)雜性、正確性和可靠性等問(wèn)題開(kāi)展系統(tǒng)性的研究。擔(dān)任國(guó)家自然科學(xué)基金委重大研究計(jì)劃、科技部973計(jì)劃、863計(jì)劃主題項(xiàng)目首席科學(xué)家,領(lǐng)銜國(guó)家自然科學(xué)基金委創(chuàng)新研究群體。出版英文專(zhuān)著2部,在國(guó)際期刊和會(huì)議上發(fā)表論文160余篇,他引4000余次。
個(gè)人主頁(yè)
https://faculty.ecnu.edu.cn/_s43/hjf2/main.psp