.jpg)
-
由中國電子學(xué)會主辦的2016云計(jì)算大數(shù)據(jù)與教育創(chuàng)新峰會于2016-05-20在北京國家會議中心舉辦。
首頁>演講嘉賓> 李未更新時(shí)間：2016-05-20
中國大數(shù)據(jù)專家委員會顧問，中國科學(xué)院院士，計(jì)算機(jī)專家。1966年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系。1983年獲英國愛丁堡大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。北京航空航天大學(xué)計(jì)算機(jī)系教授，軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室主任。1997年當(dāng)選為中國科學(xué)院院士。從事并發(fā)程序語言的結(jié)構(gòu)操作語義方法、翻譯理論和實(shí)現(xiàn)技術(shù)研究。解決了實(shí)用并發(fā)語言的復(fù)雜語法結(jié)構(gòu)的語義問題，在建立并發(fā)語言的翻譯和比較研究理論方面取得了開創(chuàng)性研究成果。1991年提出了用版本序列的收斂性描述軟件開發(fā)過程和知識庫維護(hù)策略的理論和方法，開辟了用近似和逼近方法研究軟件開發(fā)和知識庫維護(hù)的方向。對在我國開展推理計(jì)算機(jī)、可擴(kuò)展計(jì)算機(jī)群及其軟件工具和環(huán)境的設(shè)計(jì)與實(shí)現(xiàn)等方面也做出了貢獻(xiàn)。
換一批李未出席會議日程
由中國電子學(xué)會主辦的2016云計(jì)算大數(shù)據(jù)與教育創(chuàng)新峰會于2016-05-20在北京國家會議中心舉辦。
活動家小程序
微信掃一掃，使用小程序
活動家APP
活動家app
隨時(shí)隨地方便報(bào)名參會
活動家介紹：
找會議，上活動家！活動家是亞洲的會議活動、培訓(xùn)認(rèn)證、商務(wù)游學(xué)考察，查詢、報(bào)名、票務(wù)營銷平臺，致力于為用戶提供有價(jià)值、有意義的商務(wù)會議活動，以及為主辦方提供會議免費(fèi)發(fā)布、活動推廣營銷，視頻直播，在線選座等服務(wù)，是你參會、辦會的好助手。
熱門關(guān)鍵詞：
運(yùn)維 區(qū)塊鏈 移動互聯(lián)網(wǎng) 云計(jì)算 人工智能 消費(fèi)金融
投融資 FinTech 醫(yī)藥 網(wǎng)絡(luò)安全 大數(shù)據(jù) 游戲 創(chuàng)業(yè)創(chuàng)新 架構(gòu) 跨境電商
技術(shù)培訓(xùn) 物聯(lián)網(wǎng) 智慧醫(yī)療 環(huán)保 生物技術(shù)
智能制造 零售業(yè) 新能源汽車
CopyRight
活動家 huodongjia.com ,
蜀ICP備17005018號-4
增值電信業(yè)務(wù)經(jīng)營許可證編號川B2-20130143
CDN由
贊助
2016-05-20
