北京航空航天大学

主要研究方向及特色：研究内容：主要研究方向为网络可靠性、软件测试及软件可靠性。具体技术包括：（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）新交叉领域：研究主要以通信网络系统为背景，网络特征故障为核心，可靠性理论和技术为内容，属于计算机、通信和可靠性领域的新交叉研究领域。

讲授课程：先后为本科生和研究生主讲过电子商务概论，电子商务技术与信息安全，以及程序设计语言原理。目前开设的课程：网络可靠性概论；科学写作与报告。