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