.jpg)
-
由中國計(jì)算機(jī)學(xué)會(huì)主辦的2015全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)于2015-10-30在會(huì)議指定場館舉辦。
首頁>演講嘉賓> 毋國慶更新時(shí)間：2015-10-30
毋國慶，武漢大學(xué)會(huì)議副主席。畢業(yè)于武漢大學(xué)計(jì)算機(jī)科學(xué)系，現(xiàn)武漢大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師。主要從事軟件開發(fā)方法和工具，形式化理論和方法，需求工程，軟件工程，可信軟件的開發(fā)方法和理論等方面的研究。多年來，除承擔(dān)本科和研究生教學(xué)工作外，在科研方面曾參加國家“銀河—I”巨型計(jì)算機(jī)操作系統(tǒng)的研制工作。先后主持和負(fù)責(zé)國家自然科學(xué)基金項(xiàng)目、國家高技術(shù)研究發(fā)展計(jì)劃（863計(jì)劃）項(xiàng)目、國家“六.五”攻關(guān)項(xiàng)目、“七.五”攻關(guān)項(xiàng)目、教育部重點(diǎn)項(xiàng)目、博士學(xué)科點(diǎn)專項(xiàng)科研基金項(xiàng)目、國家教育部骨干教師資助計(jì)劃項(xiàng)目等多項(xiàng)國家和省部委項(xiàng)目，以及一些其它軟件開發(fā)項(xiàng)目等。多次在日本東京大學(xué)等從事軟件工程和形式化理論方面的合作研究，已在國內(nèi)外學(xué)術(shù)期刊和國際學(xué)術(shù)會(huì)議上發(fā)表論文和研究報(bào)告多篇。
換一批毋國慶出席會(huì)議日程
由中國計(jì)算機(jī)學(xué)會(huì)主辦的2015全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)于2015-10-30在會(huì)議指定場館舉辦。
活動(dòng)家小程序
微信掃一掃，使用小程序
活動(dòng)家APP
活動(dòng)家app
隨時(shí)隨地方便報(bào)名參會(huì)
活動(dòng)家介紹：
找會(huì)議，上活動(dòng)家！活動(dòng)家是亞洲的會(huì)議活動(dòng)、培訓(xùn)認(rèn)證、商務(wù)游學(xué)考察，查詢、報(bào)名、票務(wù)營銷平臺(tái)，致力于為用戶提供有價(jià)值、有意義的商務(wù)會(huì)議活動(dòng)，以及為主辦方提供會(huì)議免費(fèi)發(fā)布、活動(dòng)推廣營銷，視頻直播，在線選座等服務(wù)，是你參會(huì)、辦會(huì)的好助手。
熱門關(guān)鍵詞：
運(yùn)維 區(qū)塊鏈 移動(dòng)互聯(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
活動(dòng)家 huodongjia.com ,
蜀ICP備17005018號(hào)-4
增值電信業(yè)務(wù)經(jīng)營許可證編號(hào)川B2-20130143
CDN由
贊助
2015-10-30
