何炎祥
何炎祥，男，1952年1月出生，武汉大学毕业，博士学位。曾任武汉大学计算机学院院长，现为软件工程国家重点实验室教授、主任，同时也是国家级教学名师。
人物经历
男，前 武汉大学计算机学院院长，软件工程国家重点实验室教授、主任，国家级教学名师。1952年生，1973年毕业于武汉大学数学系计算数学专业1975年毕业于武汉大学数学系计算机软件研究生班。1984—1986年在美国俄勒冈大学计算机与信息科学系学习。获硕士学位：1997年3月—1997年9月在美国作为高级访问学者进行科研访问；1978年晋升为讲师。1989年晋升为副教授，1993年晋升为教授。1999年6月获武汉大学计算机科学系博士学位。现为武汉大学计算机科学系教授、博士生导师。武汉大学计算机学院院长，软件工程国家重点实验室主任，武汉大学校长助理，享受国家政府津贴。湖北省计算机学会副理事长。主要著作：先后在《计算机学报》．《计算机研究与发展》、《OPeratingSystemsRevlew》等杂志上发表学术论文60多篇其中有10多篇已分别由美国EI、英国科学文摘、俄罗斯科技文摘等杂志摘录。在高教社．科学出版社、海洋出版社等出版著作和教材10部，其中《编译原理》、《操作系统原理》被国内不少高等院校选作教材和教学参考书。
教育经历
工作经历
1978年晋升为计算机科学系讲师，在计算机软件教研室从事教学和科研工作。
1987年4月任武汉大学计科系副主任；1989年晋升为计算机科学系副教授。
1993年破格晋升为计算机科学系教授。
1997年1月任武汉大学计算机学院副院长。
1997年9月任武汉大学计算机学院院长。
1999年4月任武汉大学校长助理。
2001年1月任（四校合并后）武汉大学计算机学院院长。
2006年武汉大学名师，武汉大学。
2009年9月国家教学名师，国家教育部。
2013年4月任武昌理工学院副校长，分管学校教学等。
2013年全国优秀工会积极分子，中华全国总工会。
主要成就
科研成就
研究领域
主要研究方向为分布并行处理（含移动计算、网格计算与Web服务）、可信软件、知识挖掘与数据开采、软件工程等。
科研项目
1.“分布式多视点软件需求工程研究”，国家教育部重点项目，1998，12—2000，12，主持人。
2.“基于网络的分布式KDD和数据 Mining研究”，湖北省自然科学基金，1999，1—2000，12，主持人。
3.“基于多Agent的分布开放计算环境模型研究”，湖北省科技发展计划项目，1999，1—2000，12，主持人。
4.“语言处理集成系统”，国际合作项目（与美国ITA公司），1997，10—1998，10，主持人。
5.“基于状态转换原理的嵌入式编辑器”，与华为合作项目，2001，5—2001，8，主持人。
6.“商务智能系统研究”，与北京富基旋风科技公司合作项目，2000，10—2001，5，主持人。
7.“电子商务智能分析系统的研究与应用”，武汉市重点科技发展计划项目，2001，3—2002，12，项目编号: 20011007087,主持人。
8.“分布式数据开采研究”，国家教育部骨干教师基金，1999，9—2002，9，主持人。
9.“河南省电力公司MIS系统”，与河南省电力公司合作项目，1998，7—2000，7，项目负责人之一。
10.“电子商务智能分析系统的研究与应用”，武汉市重点科技计划项目，2001，3—2002，12，项目编号: 20011007087,主持人。
11.“网上信息收集和分析的基础问题和模型研究”,国家自然科学基金重大研究计,2002,1--2005,12,项目编号: 90104005，主要参加者。
12.“湖北省教育厅办公自动化”,湖北省教育厅,2002,4--2002,10,主持人。
13.“电厂基建管理信息系统”,云南丽江市新建电厂,2002,7-2002,10,主持人。
14.“虚拟现实技术在制造业的应用研究”,湖北省科技发展计划发展项目，2002,12-2003.12,主持人。
15.“基于移动Agent的服务框架模型研究”，软件工程国家重点实验室开放基金，2002，1—2003，12，项目编号: 20020208,主持人。
16.“Mobile-GPS项目开发”，与公司合作，2003，7－2004，6，主持人。
17.“机场生产运营系统”，武汉大学计算机学院奔腾网络公司联合开发，2004.8-2004.12,.主持人。
18.“Mobile-GPS”，湖北省科技重大攻关计划，2003，9－2005，12，主持人。
19“低速率的拒绝服务攻击模型和防范研究”，国家自然科学基金，项目编号:60642006，2007，1-2007，12，主持人。
论文
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)。
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]. 2016,9,39(9):1733-1749。
19.张军，何炎祥，沈凡凡，江南，李清安。基于2阶段同步的GPGPU线程块压缩调度方法[J].计算机研究与发展,2016,53 (6):1173-1185。
20.何炎祥，孙松涛，牛菲菲，李飞，用于新浪微博情感分析的一种情感语义增强的深度学习模型，计算机学报，2017, 40(4):773-790。
21.何炎祥，陈木朝，李清安等，PCRAM损耗均衡研究综述，计算机学报，2018,10,41（41）:2295-2317。
著作
1．何炎祥等，《计算机等级考试----一级考试模拟试题集》，华中科技大学出版社，1998。
2．何炎祥等，《计算机等级考试----二级考试模拟试题集》，华中科技大学出版社，1998。
3．何炎祥，宋文欣，彭锋，《高级操作系统》，科学出版社，1999，国家九五重点计划教材。
4．何炎祥主编，《编译原理》，（普通高等教育“十一五”国家级规划教材），华中科技大学出版社，2000，2003，2005，2010。
5．何炎祥主编，《操作系统原理》，上海科技文献出版社，2000。
6．何炎祥主编，《操作系统原理学习与解题指南》，华中科技大学出版社，2001。
7．何炎祥，陈莘萌，《Agent和多Agent系统的设计与应用》，武汉大学出版社,2001，武汉大学学术丛书。
8．何炎祥，熊前兴主编，《操作系统原理》，华中科技大学出版社，2001。
9．何炎祥，朱晓峰，《操作系统原理学习指导与题解》，华中科技大学出版社，2003。
10．Liu Yunsheng, He Yanxiang 主编,Proceedings of International Symposium on Future 软件 Technology 2002 (ISFST’2002), Published by 华中科技大学 press 华中科技大学出版社,Wuhan, China,2003。
11．朱福喜，何炎祥，《并行分布计算中的调度算法理论与设计》，武汉大学出版社,2003，武汉大学学术丛书。
12．何炎祥，李飞，李宁，《计算机操作系统》，（普通高等教育“十一五”国家级规划教材），清华大学出版社，2004。
13．何炎祥，《操作系统原理》，科学出版社，2004。
15．何炎祥，李飞，李宁，《编译原理及其习题解答》，武汉大学出版社，2004。
16．何炎祥，《分布式操作系统》，高等教育出版社，2005。
17．何炎祥主编，《第八届全国高校计算机系主任（院长）论坛论文集》，高等教育 出版社，2005。
18．Xiaohua Jia, Jie Wu,Yanxiang He (Eds.), Proceeding of Mobile Ad-hoc and Sensor Networks , First International Conference, MSN 2005 , Wuhan, China, December13-15,2005。
19．何炎祥，石莹，王娜，《程序设计基础》，（普通高等教育“十一五”国家级规划教材），清华大学出版社，2006。
20．萧国政，何炎祥，孙茂松主编，《中文计算技术与语言问题研究》，第七届中文信息处理国际会议论文集，北京，电子工业出版社，2007。
21．Yanxiang He, Guozheng Xiao, Maosong Sun (Chief Editors), Recent Advance of Chinese Computing technologies, Proceedings of ICCC2007, Wuhan, China, October13-15,2007。
22．何炎祥，伍春香，王汉飞，《编译原理》，北京，机械工业出版社，2010。
23．何炎祥，刘陶，《降质服务攻击及其防范方法》，北京，机械工业出版社，2011。
24．何炎祥，吴钊，《动态Web服务组合关键技术与性能分析》，北京，清华大学出版社，2011,10。
25.何炎祥，吴伟，《可信编译构造理论与关键技术》，北京，科学出版社，2013,1。
26.何炎祥，陈勇著，《面向嵌入式系统的绿色编译理论与方法研究》，北京，科学出版社，2014。
27.何炎祥，沈凡凡著，《面向片上缓存子系统的功耗优化方法》,北京，科学出版社，2018。
发明专利
申请号：200810237473.8（Web服务总线设计及其应用方法）；授权专利号200810237473（2011年1月19日授权）。
申请号：200910062970.3（开放网络的信任体系结构及其建立方法）。
软件著作权：登记号2009SR00953(Web服务总线设计软件)；登记号2009SR046959（基于本体的web服务组合需求获取软件）。
教学成就
本科生《编译原理》《计算机导论》《操作系统原理》。
社会活动
1997年3月—1997年9月在美国作为高级访问学者进行科研访问。
1997年11月兼任软件工程国家重点实验室主任。
湖北省计算机学会副理事长。
获得荣誉
参考资料
武汉大学.武汉大学官网.2021-03-24
何炎祥 (武汉大学计算机学院 计算机科学系 人工智能研究所 ).武汉大学计算机学院.2022-01-13