時(shí) 間: 2011年01月10日（周一） 9：00-11：00
地 點(diǎn)：校學(xué)術(shù)活動(dòng)中心二樓小報(bào)告廳
報(bào)告人：何積豐 教授 中國(guó)科學(xué)院院士
單 位：華東師范大學(xué)
題 目：物聯(lián)網(wǎng)系統(tǒng)中的軟件
報(bào)告人簡(jiǎn)介：何積豐，中國(guó)科學(xué)院院士，華東師范大學(xué)終身教授、軟件學(xué)院院長(zhǎng)。
國(guó)際知名的計(jì)算機(jī)科學(xué)家，國(guó)家自然科學(xué)基金委“可信軟件基礎(chǔ)研究”重大研究計(jì)劃首席科學(xué)家；科技部“海量信息的協(xié)同性和可生存性的理論與實(shí)踐研究”973項(xiàng)目首席科學(xué)家，聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所高級(jí)研究員，英國(guó)牛津大學(xué)客座教授，英國(guó)牛津大學(xué)計(jì)算實(shí)驗(yàn)室高級(jí)研究員，國(guó)際形式化工程協(xié)會(huì)主席，上海嵌入式系統(tǒng)研究所所長(zhǎng)。
兩度獲最高科研獎(jiǎng)――英國(guó)先進(jìn)科技女皇獎(jiǎng)。提出數(shù)據(jù)精化完備理論、程序分解算子、關(guān)系程序設(shè)計(jì)語(yǔ)言、非確定性數(shù)據(jù)流的數(shù)學(xué)模型和代數(shù)定律等主要成就，被歐洲軟件界權(quán)威人士贊為軟件設(shè)計(jì)技術(shù)上的一座里程碑。國(guó)際計(jì)算機(jī)科學(xué)界譽(yù)其為面向模型軟件開(kāi)發(fā)方法的奠基人。英國(guó)科學(xué)技術(shù)委員會(huì)贊譽(yù)道：“何積豐的研究工作是牛津計(jì)算實(shí)驗(yàn)室過(guò)去十五年所獲成就的驅(qū)動(dòng)力”。2002年，獨(dú)立完成的研究成果“設(shè)計(jì)嚴(yán)格安全軟件的完備演算系統(tǒng)”獲國(guó)家自然科學(xué)二等獎(jiǎng)。2005年，在高可信技術(shù)方面的突出成就當(dāng)選中國(guó)科學(xué)院院士。
主要研究領(lǐng)域: 高可信與信息安全理論、形式化方法、并發(fā)程序設(shè)計(jì)理論、嵌入式系統(tǒng)設(shè)計(jì)方法和工具、軟硬件混成系統(tǒng)協(xié)同設(shè)計(jì)、計(jì)算機(jī)軟件與理論。
TOP
