何炎祥

何炎祥，男，1952年1月出生，武汉大学毕业，博士学位。曾任武汉大学计算机学院院长，现为软件工程国家重点实验室教授、主任，同时也是国家级教学名师。

男，前  武汉大学计算机学院院长，软件工程国家重点实验室教授、主任，国家级教学名师。1952年生，1973年毕业于武汉大学数学系计算数学专业1975年毕业于武汉大学数学系计算机软件研究生班。1984—1986年在美国俄勒冈大学计算机与信息科学系学习。获硕士学位：1997年3月—1997年9月在美国作为高级访问学者进行科研访问；1978年晋升为讲师。1989年晋升为副教授，1993年晋升为教授。1999年6月获武汉大学计算机科学系博士学位。现为武汉大学计算机科学系教授、博士生导师。武汉大学计算机学院院长，软件工程国家重点实验室主任，武汉大学校长助理，享受国家政府津贴。湖北省计算机学会副理事长。主要著作：先后在《计算机学报》．《计算机研究与发展》、《OPeratingSystemsRevlew》等杂志上发表学术论文60多篇其中有10多篇已分别由美国EI、英国科学文摘、俄罗斯科技文摘等杂志摘录。在高等教育出版社．科学出版社、海洋出版社等出版著作和教材10部，其中《编译原理》、《操作系统原理》被国内不少高等院校选作教材和教学参考书。

时间院校专业学位xx-1973年武汉大学计算数学-xx-1975年武汉大学计算机软件-1984年-1986年美国俄勒冈大学计算机与信息科学硕士xx-1999年6月武汉大学计算机科学博士

1978年晋升为计算机科学系讲师，在计算机软件教研室从事教学和科研工作。

1987年4月任武汉大学计科系副主任；1989年晋升为计算机科学系副教授。

1993年破格晋升为计算机科学系教授。

1997年1月任武汉大学计算机学院副院长。

1997年9月任武汉大学计算机学院院长。

1999年4月任武汉大学校长助理。

2001年1月任（四校合并后）武汉大学计算机学院院长。

2006年武汉大学名师，武汉大学。

2009年9月湖北省名师，湖北省教育厅。

2009年9月国家教学名师，国家教育部。

2013年4月任武昌理工学院副校长，分管学校教学等。

2013年全国优秀工会积极分子，中华全国总工会。

研究领域

主要研究方向为分布并行处理（含移动计算、网格计算与Web服务）、可信软件、知识挖掘与数据开采、软件工程等。

科研项目

1.“分布式多视点软件需求工程研究”，国家教育部重点项目，1998，12—2000，12，主持人。

2.“基于网络的分布式KDD和Data 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)。^[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。^[1]

6．何炎祥主编，《操作系统原理学习与解题指南》，华中科技大学出版社，2001。

7．何炎祥，陈莘萌，《Agent和多Agent系统的设计与应用》，武汉大学出版社,2001，武汉大学学术丛书。

8．何炎祥，熊前兴主编，《操作系统原理》，华中科技大学出版社，2001。

9．何炎祥，朱晓峰，《操作系统原理学习指导与题解》，华中科技大学出版社，2003。

10．Liu Yunsheng, He Yanxiang 主编,Proceedings of International Symposium on Future Software Technology 2002 (ISFST’2002), Published by HUST press 华中科技大学出版社,Wuhan, China,2003。

11．朱福喜，何炎祥，《并行分布计算中的调度算法理论与设计》，武汉大学出版社,2003，武汉大学学术丛书。

12．何炎祥，李飞，李宁，《计算机操作系统》，（普通高等教育“十一五”国家级规划教材），清华大学出版社，2004。

13．何炎祥，《操作系统原理》，科学出版社，2004。

14．何炎祥，《编译原理》，高等教育出版社，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月兼任软件工程国家重点实验室主任。

湖北省计算机学会副理事长。^[1]

时间奖项全称具体奖项获奖作品颁发机构1998年宝钢优秀教师奖宝钢教育奖--2000年湖北省青少年科技教育工作先进个人--湖北省科学技术协会，湖北省教育厅，湖北省体育局，中国共产主义青年团湖北省委员会，湖北省妇女联合会2001年高等学校优秀教学成果奖三等奖“面向21世纪高级汇编课程教学改革的创新研究与实践”湖北省2002年优秀教材奖三等奖《高级操作系统》武汉大学2002年优秀教学成果奖一等奖“编译原理”课程教学的综合改革武汉大学2004年名牌课程第一名《编译原理》武汉大学2004年湖北省优秀研究生导师--湖北省人民政府学位委员会、湖北省教育厅2005年高等学校教学成果奖二等奖《编译原理》湖北省2005年科技进步奖一等奖软件质量保证支撑系统SQAS湖北省2005年国家精品课程第一名《编译原理》武汉大学 2005年武汉大学优秀博士后合作导师-- 武汉大学2006年自然科学奖二等奖“软件开发维护过程中若干关键方法与技术研究”湖北省 2006年武汉大学名师-- 武汉大学 2006年对象代理数据库管理系统TOTEM二等奖-湖北省2008年自然科学奖二等奖“Web信息获取、分析、测试过程中若干关键技术的研究与实现”湖北省2009年10月第四届“尊师爱学”我最喜爱的十佳优秀教师--武汉大学 2009湖北省名师--湖北省教育厅 2009国家教学名师--国家教育部2010年教学成果奖一等奖“秉承创新理念，建设系统软件优质课程群，培养计算机学科拔尖人才”武汉大学 20112010-2011年度武汉大学师德标兵。--武汉大学2012年教学成果奖一等奖“坚持特色办学思想，建设信息安全专业”湖北省 2013年全国优秀工会积极分子-- 中华全国总工会2014年科技进步奖一等奖“可信软件的构造方法与技术”湖北省 2014年高等教育国家级教学成果一等奖一等奖-- 2014年宝钢教育奖优秀教师特等奖---2016年湖北省科技进步一等奖一等奖“大型复杂软件系统的测试技术”湖北省2017年湖北省教学成果一等奖一等奖引领“以赛促学”创新型人才培养“湖北省2017年CCF杰出教育奖--中国计算机学会^[2]