何積豐，中國(guó)科學(xué)院院士、計(jì)算機(jī)軟件專家、華東師范大學(xué)教授。

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

何積豐院士擔(dān)任國(guó)家自然科學(xué)基金委重大研究計(jì)劃、科技部 973 計(jì)劃、863 計(jì)劃主題項(xiàng)目首席科學(xué)家，領(lǐng)銜國(guó)家自然科學(xué)基金委創(chuàng)新研究群體。出版英文專著 2 部，在國(guó)際期刊和會(huì)議上發(fā)表論文 160 余篇，他引 4000 余次。以唯一完成人榮獲國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng)和上海市科技進(jìn)步獎(jiǎng)一等獎(jiǎng)各 1 項(xiàng)，以第一完成人獲省部級(jí)科技進(jìn)步獎(jiǎng)與科技成果獎(jiǎng)一等獎(jiǎng) 4項(xiàng)，兩次榮獲英國(guó)女王先進(jìn)技術(shù)獎(jiǎng)。曾獲上海市教書育人楷模、上海高校教學(xué)名師、上海市五一勞動(dòng)獎(jiǎng)?wù)?、上海市?yōu)秀共產(chǎn)黨員、上海市勞動(dòng)模范等稱號(hào)。2013 年以來(lái)又榮獲全國(guó)五一勞動(dòng)獎(jiǎng)?wù)?、全?guó)優(yōu)秀科技工作者、浙江省自然科學(xué)一等獎(jiǎng)、上海市教育功臣、何梁何利基金科學(xué)與技術(shù)進(jìn)步獎(jiǎng)和上海市科技功臣等稱號(hào)。2016 年榮獲全國(guó)優(yōu)秀共產(chǎn)黨員