武汉大学计算机学院博士生导师简介：何炎祥

　　考博考生生准备要参加博士研究生考试时，必须要先确定准备攻读博士的相关专业，然后选择该专业有招生需求的学校，接下来应该联系博士生导师，只有当博士生导师同意考生报考，考博生才可以报考。所以提前了解博士生导师的学术文章及联系方式很重要，新东方在线特整理了各招收博士院校博导的简介及联系方式供考博生参考。

　　姓名：何炎祥

　　主页：

　　性别：男

　　职称：教授

　　学历学位：博士研究生

　　电话：68775303、13807174334

　　办公地点：计算机学院E510

　　E-mail：yxhe@whu.edu.cn

　　硕/博士生导师：博士生导师

　　研究兴趣

　　分布并行处理、可信软件、软件工程等。

　　教育背景

　　1973年毕业于武汉大学数学系计算数学专业;1975年毕业于武汉大学数学系计算机软件研究生班;1984-1986年赴美国Oregon大学计算机及信息科学系学习，获硕士学位;1996年3月考入武汉大学计科系,攻读博士学位;1999年6月博士研究生毕业于武汉大学计算机科学系，获博士学位。

　　工作经验

　　1978年晋升为武汉大学计算机科学系讲师，在计算机软件教研室从事教学和科研工作; 1987年4月任武汉大学计科系副主任;1989年晋升为计算机科学系副教授; 1993年破格晋升为计算机科学系教授; 1997年1月任武汉大学计算机学院副院长; 1997年9月任武汉大学计算机学院院长， 1997年11月兼任软件工程国家重点实验室主任; 1999年4月兼任武汉大学校长助理; 1999年评为博士生导师; 2001年1月—2013年3月任(四校合并后)武汉大学计算机学院院长。

　　教授课程

　　每年主讲本科生主干课程《编译原理》，54学时，4学时/周; 主讲过本科生主干课程《C语言程序设计》，54学时，4学时/周; 多次参加主讲本科生课程《计算机导论》，18学时，2学时/周;每年主讲研究生课程《高级操作系统》，36学时，3学时/周; 主持博士生讨论班。

　　发表论文

　　近期发表的主要论文： 1.陈伟，何炎祥，彭文灵,“一种轻量级的拒绝服务攻击检测方法”, 计算机学报， 2006，29(8)。 2.陈益峰，何炎祥，曹建农，“内容传递网络处理能力受限代理放置贪婪算法”， 软件学报，2007，18(1)。 3.Furu Wei, Wenjie Li, Qin Lu, and Yanxiang He. Applying Two-Level Mutual Reinforcement Ranking Algorithm in Query-Oriented Multi-document Summarization. Journal of the American Society for Information Science and Technology。(JASIST)，2009. 60(9)。 4.何炎祥,曹强,刘陶,韩奕,熊琦，一种基于小波特征提取的低速率DoS 检测方法， 软件学报, 2009,20(4)。 5.Furu Wei, Wenjie Li, Qin Lu, and Yanxiang He. A Document- Sensitive Graph Model for Multi-Document Summarization。 Knowledge and Information Systems. KAIS, 2010.22(2)。 6.何炎祥，刘陶，吴伟，“可信编译器关键技术研究”，计算机工程与科学，2010,8，32(8)。 7.何炎祥，吴伟，刘陶等，“可信编译理论及其核心实现技术：研究综述”，计算机科学与探索，2011,1，5(1)。 8.刘陶，何炎祥，熊琦，“一种基于Q学习的LDOS攻击实时防御机制及其CPN实现”，计算机研究与发展，2011,3，48(3) 9.何炎祥,陈勇,吴伟等,“基于编译支持错误跟踪的测试用例自动化生成方法”，计算机研究与发展，2012.9，49(9)。 10.何炎祥，吴伟，陈勇等，“基于SMT求解器的路径敏感程序验证”，软件学报，2012，23(10)。 11.徐超，何炎祥，吴伟等, “基于模拟关系的编译优化实现正确性验证方法”, 电子学报, 2012, 40(11)。 12.Yanxiang He, Wei Wu, Yong Chen，An efficient method for detecting concurrency errors in object-oriented programs. SCIENCE CHINA Information Sciences， 2012, 55(12)。29.13.何炎祥，沈华，一种基于随机Petri网的Web服务组合性能瓶颈定位策略[J].计算机学报Vol.36,No.10，2013.10.1953-1966。14..He Y X, Wu W, Chen Y. An efficient method for detecting concurrency errors in object-oriented programs[J]. Science China Information Sciences, 2012, 55(12): 2774-2784。15.何炎祥, 江南, 李清安, 张军, 沈凡凡. 一个机器检测的Micro-Dalvik虚拟机模型[J]. 软件学报, 2015, 26(2): 364-379.。16.何炎祥，沈凡凡，张军，江南，李清安，李建华. 新型非易失性存储器架构的缓存优化方法综述[J]. 计算机研究与发展, 2015, 41(6): 1225-1241。17.江南, 何炎祥，张晓瞳. mJava到Micro-Dalvik虚拟机的编译验证[J]. 电子学报, 2016, 44(7): 1619-1629。18.何炎祥, 张军, 沈凡凡, 江南, 李清安, 刘子骏. 通用图形处理器线程调度优化方法研究综述. 计算机学报[J]. 2015 Online publishing, No.50。

　　19.张军, 何炎祥, 沈凡凡, 江南, 李清安. 基于2阶段同步的GPGPU线程块压缩调度方法[J]. 计算机研究与发展, 2016, 53 (6): 1173-1185。

　　教材与专著：1.何炎祥，宋文欣，彭锋，《高级操作系统》，科学出版社，1999， 国家九五 重点计划教材。 2.何炎祥主编，《编译原理》，(普通高等教育“十一五”国家级规划教材)，华中科技大学出版社，2000，2003，2005 2010。 3.何炎祥主编，《操作系统原理》，上海科技文献出版社，2000。 4.何炎祥主编，《操作系统原理学习与解题指南》，华中科技大学出版社，2001。 5.何炎祥，陈莘萌，《Agent和多Agent系统的设计与应用》，武汉大学出版社, 2001，武汉大学学术丛书。 6.何炎祥，熊前兴主编，《操作系统原理》，华中科技大学出版社，2001。 7.何炎祥,朱晓峰，《操作系统原理学习指导与题解》，华中科技大学出版社， 2003。 8.Liu Yunsheng, He Yanxiang 主编，Proceedings of International Symposium on Future Software Technology 2002 (ISFST’2002), Published by HUST press 华中科技大学出版社, Wuhan, China, 2003。 9.朱福喜，何炎祥，《并行分布计算中的调度算法理论与设计》，武汉大学出版 社, 2003，武汉大学学术丛书。 10.何炎祥，李飞，李宁，《计算机操作系统》，(普通高等教育“十一五”国家级 规划教材)，清华大学出版社，2004。 11.何炎祥，《操作系统原理》，科学出版社，2004。 12.何炎祥，《编译原理》，高等教育出版社，2004。13.何炎祥，《分布式操作系统》，高等教育出版社，2005。 14.何炎祥，石莹，王娜，《程序设计基础》，(普通高等教育“十一五”国家级规 划教材)，清华大学出版社，2006。 15.萧国政，何炎祥，孙茂松主编，《中文计算技术与语言问题研究》，第七届中文 信息处理国际会议论文集，北京，电子工业出版社，2007。 16.Yanxiang He, Guozheng Xiao, Maosong Sun (Chief Editors), Recent Advance of Chinese Computing technologies, Proceedings of ICCC2007, Wuhan, China, October 13-15,2007。 17. 何炎祥，伍春香，王汉飞，《编译原理》，北京，机械工业出版社，2010。 18.何炎祥，刘陶，《降质服务攻击及其防范方法》，北京，机械工业出版社，2011。 19.何炎祥，吴钊，《动态Web服务组合关键技术与性能分析》，北京，清华大学出版社，2011。 20.何炎祥，吴伟，《可信编译构造理论与关键技术》，北京，科学出版社，2013。21.何炎祥，陈勇著，《面向嵌入式系统的绿色编译理论与方法研究》，北京，科学出版社.2014。