-
由中國(guó)計(jì)算機(jī)學(xué)會(huì)主辦的2015全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)于2015-10-30在會(huì)議指定場(chǎng)館舉辦。
首頁(yè)>演講嘉賓> 毋國(guó)慶更新時(shí)間:2015-10-30
毋國(guó)慶,武漢大學(xué)會(huì)議副主席。畢業(yè)于武漢大學(xué)計(jì)算機(jī)科學(xué)系,現(xiàn)武漢大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師。主要從事軟件開(kāi)發(fā)方法和工具,形式化理論和方法,需求工程,軟件工程,可信軟件的開(kāi)發(fā)方法和理論等方面的研究。多年來(lái),除承擔(dān)本科和研究生教學(xué)工作外,在科研方面曾參加國(guó)家“銀河—I”巨型計(jì)算機(jī)操作系統(tǒng)的研制工作。先后主持和負(fù)責(zé)國(guó)家自然科學(xué)基金項(xiàng)目、國(guó)家高技術(shù)研究發(fā)展計(jì)劃(863計(jì)劃)項(xiàng)目、國(guó)家“六.五”攻關(guān)項(xiàng)目、“七.五”攻關(guān)項(xiàng)目、教育部重點(diǎn)項(xiàng)目、博士學(xué)科點(diǎn)專項(xiàng)科研基金項(xiàng)目、國(guó)家教育部骨干教師資助計(jì)劃項(xiàng)目等多項(xiàng)國(guó)家和省部委項(xiàng)目,以及一些其它軟件開(kāi)發(fā)項(xiàng)目等。多次在日本東京大學(xué)等從事軟件工程和形式化理論方面的合作研究,已在國(guó)內(nèi)外學(xué)術(shù)期刊和國(guó)際學(xué)術(shù)會(huì)議上發(fā)表論文和研究報(bào)告多篇。
毋國(guó)慶出席會(huì)議日程
由中國(guó)計(jì)算機(jī)學(xué)會(huì)主辦的2015全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)于2015-10-30在會(huì)議指定場(chǎng)館舉辦。