北京航空航天大學

主要研究方向及特色：研究內容：主要研究方向為網絡可靠性、軟件測試及軟件可靠性。具體技術包括：（i）網絡系統的可靠性建模和仿真技術；（ii）網絡特征故障的規律研究；（iii）網絡可靠性評估算法與技術；（iv）基于可靠性的網絡系統設計與優化；（v)形式化方法在軟件及網絡可靠性設計和評估中的應用等。研究特點：（i)研究與實踐結合緊密，研究來源于實際需求并最終服務于企業，注重把縱向課題的學術研究轉化為企業中的實際應用；（ii）新交叉領域：研究主要以通信網絡系統為背景，網絡特征故障為核心，可靠性理論和技術為內容，屬于計算機、通信和可靠性領域的新交叉研究領域。

電子信箱：hn@buaa.edu.cn

辦公電話：82339031

辦公地點：新主樓G906

通信地址：北京航空航天大學系統工程與可靠性學院

個人簡介：

黃寧，北京航空航天大學可靠性與系統工程學院教授，中國計算機學會高級會員，IEEE會員。

1997年3月于北京航空航天大學計算機學院獲計算機軟件博士學位，同年留任北航計算機學院，主要研究電子商務中的先進計算機技術（Web服務軟件技術和本體技術在領域知識中的應用），描述邏輯和重寫邏輯等形式化方法在SOA(Service Objected Architecture)軟件中的測試和可靠性分析。1999年7月聘為副教授。2006年8月-2007年8月美國伊利諾大學香檳分校（UIUC）計算機系形式化方法和系統實驗室訪問學者。2008年4月調入北航工程系統工程系主持網絡可靠性研究(http://netrel.buaa.edu.cn)，同年聘為教授。現為可靠性與系統工程學院網絡可靠性與軟件可靠性方向的學術帶頭人，針對軟硬件緊耦合、故障傳播和使用依賴的網絡系統特點，研究傳統可靠性擴展下的網絡可靠性理論與方法，尤其是數據通信網絡的可靠性建模理論、仿真和試驗分析方法與技術。

先后主持了預研重點基金、技術基礎、十五、十二五預研等科研項目，在網絡可靠性研究中完成或正在負責“某類網絡的半實物可靠性試驗方法和平臺研究與實現”，“機載網絡可靠性參數與評價方法研究”，“某類網絡的仿真可靠性分析原理與技術”等縱向科研項目以及多個企業橫向項目，在國內外期刊和會議上發表SCI/EI檢索論文八十多篇。指導畢業的研究生二十多人（含1名國際學生），其中2人獲校優秀碩士論文。

研究內容：主要研究方向為網絡可靠性、軟件測試及軟件可靠性。具體技術包括：（i）網絡系統的可靠性建模和仿真技術；（ii）網絡特征故障的規律研究；（iii）網絡可靠性評估算法與技術；（iv）基于可靠性的網絡系統設計與優化；（v)形式化方法在軟件及網絡可靠性設計和評估中的應用等。

研究特點：（i)研究與實踐結合緊密，研究來源于實際需求并最終服務于企業，注重把縱向課題的學術研究轉化為企業中的實際應用；（ii）新交叉領域：研究主要以通信網絡系統為背景，網絡特征故障為核心，可靠性理論和技術為內容，屬于計算機、通信和可靠性領域的新交叉研究領域。

講授課程：先后為本科生和研究生主講過電子商務概論，電子商務技術與信息安全，以及程序設計語言原理。目前開設的課程：網絡可靠性概論；科學寫作與報告。