-
由中國(guó)光學(xué)工程學(xué)會(huì)主辦的2017中國(guó)工控裝備及系統(tǒng)安全高峰論壇于2017-06-07在中國(guó)國(guó)際展覽中心(新館)舉辦。
首頁(yè)>演講嘉賓> 何積豐更新時(shí)間:2017-06-07
何積豐,計(jì)算機(jī)軟件專家,華東師范大學(xué)教授,軟件學(xué)院院長(zhǎng),上海嵌入式系統(tǒng)研究所所長(zhǎng)、教授、博士生導(dǎo)師。何積豐在國(guó)際上獲得的地位讓同行們仰視:聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所高級(jí)研究員,英國(guó)牛津大學(xué)客座教授,牛津大學(xué)計(jì)算實(shí)驗(yàn)室高級(jí)研究員,兩度獲最高科研獎(jiǎng)——英國(guó)先進(jìn)科技女皇獎(jiǎng)。他被國(guó)際計(jì)算機(jī)科學(xué)界譽(yù)為面向模型軟件開發(fā)方法的奠基石。他在安全軟件設(shè)計(jì)方面的論著被國(guó)際軟件界廣泛引用。他率先提出關(guān)系程序設(shè)計(jì)語(yǔ)言,這項(xiàng)工作被歐洲計(jì)算機(jī)界認(rèn)為是繼過(guò)程語(yǔ)言、函數(shù)程序、邏輯程序之后的第四類程序語(yǔ)言的先驅(qū),他因而被歐洲軟件界權(quán)威人士贊之為“軟件設(shè)計(jì)技術(shù)上的一座里程碑”?!?/p>
何積豐出席會(huì)議日程
由中國(guó)光學(xué)工程學(xué)會(huì)主辦的2017中國(guó)工控裝備及系統(tǒng)安全高峰論壇于2017-06-07在中國(guó)國(guó)際展覽中心(新館)舉辦。