華東師范大學干部培訓(xùn)

　　何積豐 1943年8月生，上海人。中國科學院院士，著名計算機軟件科學家。現(xiàn)任華東師范大學終身教授、軟件學院院長，中國科學院信息學部常委會副主任，上海市科協(xié)副主席，國家可信嵌入式軟件工程技術(shù)研究中心首席科學家，上海市高可信計算重點實驗室主任。華東師范大學第七屆學術(shù)委員會委員，第一屆學科建設(shè)與科學研究委員會主任委員。

　　主要經(jīng)歷：

　　1965年2月畢業(yè)于復(fù)旦大學數(shù)學系。1965年3月起任職于華東師范大學。1984年至1998年任英國牛津大學客座教授、高級研究員，1998年至2005年任澳門聯(lián)合國大學國際軟件技術(shù)研究所研究員，2001年任華東師范大學軟件學院院長，2005年當選為中國科學院院士，2010年被英國約克大學授予榮譽博士學位。

　　主要研究領(lǐng)域及成果：

　　主要從事計算機軟件理論及應(yīng)用研究，針對軟件的復(fù)雜性、正確性和可靠性等問題開展系統(tǒng)性的研究。擔任國家自然科學基金委重大研究計劃、科技部973計劃、863計劃主題項目首席科學家，領(lǐng)銜國家自然科學基金委創(chuàng)新研究群體。出版英文專著2部，在國際期刊和會議上發(fā)表論文160余篇，他引4000余次。