欧美成人精品一区二区_成人羞羞视频播放网站_四虎4hu新地址入口2023_中文字幕视频精品一区二区三区

24小時咨詢熱線

當前位置: 首頁 > 華東師范大學 > 名師名家 > 詳細

在線選課

基本信息

培訓方向

*已開啟信息加密保護,請放心填寫! *請保持電話通暢,我們會盡快與您聯系。

在線咨詢

何積豐

點擊數:6218 時間:2020-01-08 15:06

  

何積豐


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

  主要經歷:

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

  主要研究領域及成果:

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


最新文章
【干訓網聲明】網站有的文章及圖片均來源于學校官網或互聯網,若有侵權請聯系gzldyjy@yeah.net刪除。
電話
400-6007-016
咨詢
二維碼
頂部
提問