久久婷婷五夜综合|欧美一黄片|在线观看91|任我爽在线视频精品凹凸精品分类|最近中文字幕免费6

　　計算機軟件專家、華東師范大學教授

　　長期從事計算機軟件理論及應用研究，針對軟件的復雜性、正確性和可靠性等問題開展了系統性的研究。他是程序統一理論創立者、數據精化完備理論奠基者、可信軟件設計理論與技術開拓者。主要科學貢獻：（1）系統性地研究了各類程序語言語義理論，與圖靈獎獲得者 Hoare 教授共同開創了程序統一理論學派，奠定了軟件語義元理論礎，被國際上公認為研究各類程序語言的一種標準方法；（2）首次提出了數據精化的“程序分解算子”與“上下仿真映照對”方法，創建了數據精化完備理論，國際計算機科學界譽其為"面向模型軟件開發的一個里程碑"；（3）開拓了基于模型的可信軟件設計理論與技術，相關成果已被軌道交通、汽車電子、航天控制等安全攸關領域所采用，該成果被應用在上海普華的汽車電子操作系統驗證過程，驗證后的操作系統成為國內首個通過歐洲 OSEK 標準認證的操作系統，并首次出口歐洲。

　　何積豐院士擔任國家自然科學基金委重大研究計劃、科技部 973 計劃、863 計劃主題項目首席科學家，領銜國家自然科學基金委創新研究群體。出版英文專著 2 部，在國際期刊和會議上發表論文 160 余篇，他引 4000 余次。以唯一完成人榮獲國家自然科學獎二等獎和上海市科技進步獎一等獎各 1 項，以第一完成人獲省部級科技進步獎與科技成果獎一等獎 4項，兩次榮獲英國女王先進技術獎。曾獲上海市教書育人楷模、上海高校教學名師、上海市五一勞動獎章、上海市優秀共產黨員、上海市勞動模范等稱號。2013 年以來又榮獲全國五一勞動獎章、全國優秀科技工作者、浙江省自然科學一等獎、上海市教育功臣、何梁何利基金科學與技術進步獎和上海市科技功臣等稱號。2016 年榮獲全國優秀共產黨員

　　1984年在英國牛津大學計算機實驗室任客座教授、高級研究員；

　　1998年擔任聯合國大學國際軟件技術研究所高級研究員；

　　2001年擔任華東師范大學軟件學院院長；

　　2002年成為華東師范大學首批終身教授；

　　2005年當選中國科學院院士；

　　2009年受聘為杭州師范大學杭州國際服務工程學院院長；

　　2010年被英國約克大學授予榮譽博士學位；

　　2014年受聘為上海農業物聯網首席專家；

　　2016年受聘為華東師范大學計算機科學與軟件工程學院院長。

　　1965年何積豐從復旦大學數學系畢業，并被分配到華東師范大學工作，先后擔任教授、博士生導師；

　　1980年被派往美國舊金山大學進修