-
由中國(guó)計(jì)算機(jī)學(xué)會(huì)主辦的第五屆全國(guó)可信計(jì)算學(xué)術(shù)會(huì)議于2015-10-09在浙江師范大學(xué)舉辦。
首頁(yè)>演講嘉賓> 黃寧更新時(shí)間:2015-10-09
黃寧,北京航空航天大學(xué)可靠性與系統(tǒng)工程學(xué)院工程系教授,中國(guó)計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員,IEEE會(huì)員。1997年于北京航空航天大學(xué)計(jì)算機(jī)學(xué)院獲計(jì)算機(jī)軟件博士學(xué)位,同年留任北航計(jì)算機(jī)學(xué)院。2008年調(diào)入北航工程系統(tǒng)工程系。工作期間,于2000年獲思達(dá)獎(jiǎng)教金一等獎(jiǎng);2001年獲西飛獎(jiǎng)教金二等獎(jiǎng);2003年北航計(jì)算機(jī)學(xué)院杰出科研工作獎(jiǎng),2005年計(jì)算機(jī)學(xué)院中青年教師講課比賽一等獎(jiǎng)。2006年8月-2007年8月美國(guó)伊利諾大學(xué)香檳分校(UIUC)計(jì)算機(jī)系形式化方法和系統(tǒng)實(shí)驗(yàn)室訪問(wèn)學(xué)者。2007年11月獲北航教學(xué)成果二等獎(jiǎng)和北航優(yōu)秀研究生指導(dǎo)教師證書(shū)。截至2008年,指導(dǎo)了二十多名研究生,其中已獲碩士學(xué)位的研究生二十人(一人獲校優(yōu)秀碩士論文)。在國(guó)內(nèi)外期刊和會(huì)議上發(fā)表學(xué)術(shù)論文四十多篇,其中二十多篇被SCI、EI和ISTP三大檢索工具檢索。研究?jī)?nèi)容:主要研究方向?yàn)榫W(wǎng)絡(luò)可靠性、軟件測(cè)試及軟件可靠性。先后主持和參加榮宏國(guó)際基金,國(guó)家自然基金,863,國(guó)防十五和十一五預(yù)研及重點(diǎn)項(xiàng)目,國(guó)防預(yù)研基金,和航空基金等科研,及多個(gè)企業(yè)合作課題近二十項(xiàng)。
黃寧出席會(huì)議日程
由中國(guó)計(jì)算機(jī)學(xué)會(huì)主辦的第五屆全國(guó)可信計(jì)算學(xué)術(shù)會(huì)議于2015-10-09在浙江師范大學(xué)舉辦。