何炎祥
437bwin必贏國際官網 計算機科學系 人工智能研究所 教授 (博導)
姓名：何炎祥 主頁： 性別：男 職稱：教授 (博導,) 學歷學位：博士 電話：027-68775303 辦公地點：437bwin必贏國際官網E510 E-mail：yxhe ▇ whu.edu.cn 請手工替換符號 領域：分布式計算,可信計算,軟件工程,自然語言處理, 招生信息：年度招收碩士0名，招收方向：計算機科學與技術(學碩),軟件工程(學碩)。 招收博士0名，招收方向：。 |
研究方向
分布并行處理、可信軟件、軟件工程、自然語言處理等。
教育背景
1973年畢業于437bwin必贏國際官網數學系計算數學專業；1975年畢業于437bwin必贏國際官網數學系計算機軟件研究生班；1984-1986年赴美國Oregon大學計算機及信息科學系學習，獲碩士學位；1996年3月考入437bwin必贏國際官網計科系，攻讀博士學位；1999年6月博士研究生畢業于437bwin必贏國際官網計算機科學系，獲博士學位。
工作經驗
1975年畢業留校籌建437bwin必贏國際官網計算機科學系，1978年晉升為437bwin必贏國際官網計算機科學系講師，在計算機軟件教研室從事教學和科研工作； 1987年4月任437bwin必贏國際官網計科系副主任；1989年晉升為計算機科學系副教授； 1993年破格晉升為計算機科學系教授； 1997年1月任437bwin必贏國際官網副院長； 1997年9月任437bwin必贏國際官網院長， 1997-2001年兼任軟件工程國家重點實驗室主任； 1999年4月-2001年1月兼任437bwin必贏國際官網校長助理； 1999年評為博士生導師； 2001年1月—2013年3月任（四校合并后）437bwin必贏國際官網院長。
教授課程
本科生主干課程《編譯原理》，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]. 2016,9,39(9):1733-1749.
19．張軍, 何炎祥, 沈凡凡, 江南, 李清安. 基于2階段同步的GPGPU線程塊壓縮調度方法[J]. 計算機研究與發展, 2016, 53 (6): 1173-1185。
20.何炎祥，孫松濤，牛菲菲，李飛，用于微博情感分析的一種情感語義增強的深度學習模型，計算機學報，2017, 40 (4):773-790。何炎祥，陳木朝，李清安等，PCRAM損耗均衡研究綜述，計算機學報，2018,10,41（41）:2295-2317。
出版的主要教材：
1．何炎祥，宋文欣，彭鋒，《高級操作系統》，科學出版社，1999， 國家九五 重點計劃教材。
2．何炎祥主編，《編譯原理》，（普通高等教育“十一五”國家級規劃教材），華中科技大學出版社，2000，2003，2005 2010。
3．何炎祥主編，《操作系統原理》，上海科技文獻出版社，2000。
4．何炎祥主編，《操作系統原理學習與解題指南》，華中科技大學出版社，2001。
5．何炎祥，陳莘萌，《Agent和多Agent系統的設計與應用》，437bwin必贏國際官網出版社, 2001，437bwin必贏國際官網學術叢書。
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．朱福喜，何炎祥，《并行分布計算中的調度算法理論與設計》，437bwin必贏國際官網出版 社, 2003，437bwin必贏國際官網學術叢書。
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。
出版的專著：
1．何炎祥，劉陶著，《降質服務攻擊及其防范方法》，北京，機械工業出版社，2011。
2．何炎祥，吳釗著，《動態Web服務組合關鍵技術與性能分析》，北京，清華大學出版社，2011。
3．何炎祥，吳偉著，《可信編譯構造理論與關鍵技術》，北京，科學出版社，2013。
4．何炎祥，陳勇著，《面向嵌入式系統的綠色編譯理論與方法研究》，北京，科學出版社，2014。
5 .何炎祥，沈凡凡著，《面向片上緩存子系統的功耗優化方法》, 北京，科學出版社，2018。
科研課題
承擔的主要科研項目：
1．“分布式數據開采研究”，國家教育部骨干教師基金，1999，9—2002，9，主持人。 2．“電子商務智能分析系統的研究與應用”，武漢市重點科技計劃項目，2001，3—2002，12，項目編號: 20011007087, 主持人。 3．“網上信息收集和分析的基礎問題和模型研究”， 國家自然科學基金重大研究計劃, 2002，1—2005，12，項目編號: 90104005, 主要參加者。 4．“湖北省教育廳辦公自動化” ，湖北省教育廳, 2002，4—2002，10 , 主持人。 5．“虛擬現實(VR)技術在制造業的應用研究”, 湖北省科技計劃項目，2003，3-2005，12, 項目編號: 2002S4108/2002AA102B06,主持人。 6．“海量信息搜索移動Agent遷移問題研究”，湖北省自然科學基金，2003，1—2005，12， 項目編號: 2003ABA047，主持人。 7．“Mobile-GPS”，湖北省科技重大攻關計劃，2003，9－2005，12，主持人。 8．“低速率的拒絕服務攻擊模型和防范研究”，國家自然科學基金，2007，1-2007，12，項目編號: 60642006，主持人。 9．“康明綜合網絡服務系統”，香港康明電子有限公司，2007，1-2008，10，主持人。 10．“上海海爾集成電路 HICC語言編譯器”，上海海爾集成電路有限公司，2007，5—2010，12，主持人。 11．“面向中文文本信息融合的句子排序研究”，國家自然科學基金，2008，01——2010，12，項目編號：60703008，主要參加者。 12．“面向低速率拒絕服務攻擊防范的安全適應性機制研究”，國家自然科學基金，2008，01—2010，12，主持人，項目編號：60773008。 13．“動態Web服務組合關鍵技術及其性能分析研究” ，國家863項目， 2007，8-2009，12，項目編號: 2007AA01Z138，主持人。 14．“可信編譯理論與實現方法研究” ， 國家自然科學基金“可信軟件基礎研究”重大研究計劃項目，2009，1—2011，12，項目編號：90818018，主持人。 15．“可信計算的軟件理論與關鍵技術研究”，湖北省自然科學基金計劃重點項目，2009，1-2010，12，項目批準號：2008CDA007，主持人。 16．“漢外詞語自動翻譯平臺”，國家漢語推廣項目，2009，11-2010，8，項目編號：WDJD0021，主持人。 17．“互聯網環境中的多語言信息收集系統”，437bwin必贏國際官網985交叉學科項目，2008-2010，項目編號：985YK001，主持人。 18．“基于編譯的高可信嵌入式軟件開發與驗證方法研究”，國家自然科學基金“可信軟件基礎研究”重大研究計劃項目，2011，01-2011，12，項目編號：91018009，主持人。 19．“基于編譯的嵌入式系統優化研究”， 國家自然科學基金，2012.01-2015.12，項目編號：61170022，主持人。20.“可信軟件構造理論與方法研究”， 國家自然科學基金“可信軟件基礎研究”重大研究計劃項目重點項目，2012.01-2015.12，項目編號：91118003，主持人。21． “面向嵌入式系統綠色需求的編譯理論與方法研究”， 國家自然科學基金，主持人， 2014-2017， 項目編號：61373039。22．“編譯導向的面向片上存儲器的低功耗技術研究”，博士點基金（博導類），主持人，2014-2015，項目編號：2013014111002512。23．“基于Java的編譯器安全驗證技術”，華為公司，2016.10-2017.10，主持人，項目編號：YB2015090035。24. “武漢航運交易所信息化頂層設計方案”，武漢航運交易所，主持人，2018.2-4。25. “視覺算法DSL設計與編譯技術”，華為公司，主持人，2018.5-10。26. “基于DNN開發框架的高性能優化方法研究”，國家自然科學基金，主持人，2020-2023，項目編號：61972293。
研究團隊
與彭智勇、應時、姬東鴻、吳黎兵、彭敏教授和毋國慶、朱福喜教授，以及王漢飛、袁夢霆、武春香、杜卓敏、文衛東、李飛、李清安、周國富副教授有緊密合作。
到2018年6月止，
已指導博后12名：:復旦大學計算機系周水庚，437bwin必贏國際官網軟件工程國家重點實驗室彭智勇，北京大學計算機系周國富，437bwin必贏國際官網測繪學院閆軍(與李徳仁院士合作)，437bwin必贏國際官網水利水電學院李訂芳，華中師范大學計算機系郭亞軍，437bwin必贏國際官網吳黎兵(與李徳仁院士合作)；中南財經政法大學胡憚（與文學院蕭國鎮教授合作)；以及王宇，肖亮，馮文賀，陳波。
已指導畢業58名博士并獲博士學位：宋強,朱福喜,杜卓敏,李旭暉，陳益峰、向劍文、彭德巍、陳偉、劉茂福、吳華怡（與賈小華教授合作），呂慧，彭敏，文衛東，喻丹丹，林川，毛雋，肖俊，吳釗，曾園園，劉德喜，熊乃學，崔建群，劉浩文，李飛，趙亮，彭曉明，韋福如，騰沖，楊華，魏韻昭，彭公孚，馬超，萬少華，劉陶，劉紀平，陳蕭怡，田野，胡文生、吳偉、黃磊、范清風、陳勇、李清安、沈華、劉楠、陳喆、徐超、蔡瑞、朱平、潘松、陳立權、喻濤、江南、沈凡凡、陳強、孫松濤、劉健博、張軍。
已指導畢業碩士生125名，并獲碩士學位。
現有在讀博士生8名，在讀碩士生4名。
知識產權
主要獲獎如下：
1．“寶鋼優秀教師獎”，寶鋼教育獎，1998。 2．“湖北省青少年科技教育工作先進個人” ，湖北省科學技術協會，湖北省教育廳，湖北省體育局，中國共產主義青年團湖北省委員會，湖北省婦女聯合會，2000。 3．“面向21世紀高級匯編課程教學改革的創新研究與實踐”，湖北省高等學校優秀教學成果三等獎，2001，排名第2。 4．《高級操作系統》，437bwin必贏國際官網優秀教材獎，2002。 5．“編譯原理”課程教學的綜合改革, 437bwin必贏國際官網優秀教學成果一等獎，2002, (排名第1)。 6．《編譯原理》, 437bwin必贏國際官網名牌課程，2004, (課程組組長，排名第1)。 7．湖北省優秀研究生導師，2004，湖北省人民政府學位委員會、湖北省教育廳。 8．《編譯原理》, 湖北省精品課程，2004，(課程組組長，排名第1)。 9．“《編譯原理》課程教學改革”，2005，湖北省高等學校教學成果二等獎，(排名第1)。 10．軟件質量保證支撐系統SQAS，湖北省科技進步一等獎，(排名第2)，2005。 11．437bwin必贏國際官網優秀博士后合作導師，437bwin必贏國際官網，2005。 12．《編譯原理》, 國家精品課程，2005，(課程組組長，排名第1)。 13．437bwin必贏國際官網名師，437bwin必贏國際官網，2006。 14．“軟件開發維護過程中若干關鍵方法與技術研究”，湖北省自然科學二等獎，(排名第2)，2006。 15．“對象代理數據庫管理系統TOTEM”, 高等學校科技進步二等獎，(排名第2)，2006。 16．“Web信息獲取、分析、測試過程中若干關鍵技術的研究與實現”, 湖北省自然科學二等獎，(排名第2)，2008。 17．湖北省名師，湖北省教育廳，2009。 18．國家教學名師，國家教育部，2009。 19．第四屆“尊師愛學”我最喜愛的十佳優秀教師，437bwin必贏國際官網，2009。 20．2010-2011年度437bwin必贏國際官網師德標兵。 21.“秉承創新理念，建設系統軟件優質課程群，培養計算機學科拔尖人才”，437bwin必贏國際官網教學成果一等獎， 排名第1，2010。 22．全國優秀工會積極分子， 中華全國總工會，2013。23．“堅持特色辦學思想，建設信息安全專業”，湖北省教學成果一等獎， 排名第1，2012。 24．“創建信息安全專業培養體系，引領信息安全專業建設”，高等教育國家級教學成果一等獎，排名第1，2014， 25．“可信軟件的構造方法與技術”，湖北省科技進步一等獎，排名第1，2014。26．寶鋼教育獎優秀教師特等獎，2014。27.“大型復雜軟件系統的測試技術”，湖北省科技進步一等獎，2016，排名第9。28.“構建計算機類本科實踐教學體系，引領“以賽促學”創新型人才培養“，湖北省教學成果一等獎，2017，排名第2。CCF杰出教育獎，中國計算機學會（CCF），2017。
學術服務
何炎祥，博士、二級教授（2007）、博士生導師，國家教學名師（2009），中國計算機學會（CCF）會士，享受國務院政府特殊津貼（1998）。原437bwin必贏國際官網院長。美國Oregon大學計算機及信息科學系碩士，437bwin必贏國際官網計算機科學系博士。所學專業計算機軟件。主要研究方向為：分布并行處理、可信軟件、軟件工程、自然語言處理等。
主持和主要承擔包括863高技術計劃項目、國家自然科學基金重大研究計劃項目、國家自然科學基金面上項目、省市科技攻關項目等40余項，發表論文200多篇。出版著作和教材15本。其中，《分布式操作系統》和《編譯原理》已被國內許多高校選作教材。獲包括國家教學成果一等獎、湖北省科技進步一等獎在內的省部級科技成果和教學成果獎多項。主持“編譯原理”國家精品課程，并獲寶鋼優秀教師特等獎、CCF杰出教育獎，湖北省青少年科技教育工作先進個人、湖北省優秀研究生導師、湖北省名師、437bwin必贏國際官網名師等。
先后多次作為高級訪問學者到美國UCI大學、Texas大學、Utah州立大學、香港理工大學、香港城市大學等開展合作研究，到法國，英國，日本，加拿大，印度、澳大利亞，愛爾蘭，香港等地參加國際學術會議和短期科研合作。
曾任國家教育部教學指導委員會成員，國家教育部科學技術委員會信息學部委員，中國計算機學會常務理事，437bwin必贏國際官網校長助理，軟件工程國家重點實驗室主任，CCF武漢分部首任主席，湖北省計算機學會副理事長，湖北省制造業信息化專家委員會成員，湖北省計算機信息系統集成資質認證專家組成員，湖北省信息化技術證書教育考試工作領導小組成員等。現兼任全國高校計算機教育研究會副理事長，CCF教育專委會主任，高等教育出版社計算機教材引進專家組成員，清華大學出版社“高等學校計算機規劃教材” 編審委員會主任，湖北省軟件行業協會副理事長，互聯網自然語言處理四川省高等學校重點實驗室學術委員會主任，湖北省公共財政和經濟運行大數據工程技術研究中心專家委員會首席專家，交通物聯網技術湖北省重點實驗室學術委員會委員，湖北省服裝信息化工程技術研究中心學術委員會主任，湖北智慧監獄信息化項目專家技術委員會專家，《軟件導刊》雜志編委會主任，《計算機研究與發展》、《計算機工程與應用》、《計算機工程》、《計算機應用》、《小型微型計算機系統》、《計算機科學與探索》、《計算機工程與科學》、《計算機與數字工程》、《計算機教育》、《Intelligent Control and Automation》等雜志編委，中山大學、華中師范大學、廣東外語外貿大學、江西財經大學、武漢理工大學、中南民族大學、湖北工業大學兼職教授， 國家重點基礎研究發展規劃（973）項目“下一代互聯網信息存儲的組織模式與核心技術研究”和“面向復雜應用環境的數據存儲系統理論與技術基礎研究”項目專家組專家，國家科技支撐計劃“虛擬實驗教學環境關鍵技術研究與應用示范”項目專家組專家和“網絡行為安全與青少年發展關鍵技術研究與示范應用”項目咨詢專家組專家，2018國家重點研發計劃食品安全關鍵技術研發重點專項“食品安全大數據關鍵技術研究”項目專家委員會委員等。多個國際學術會議的大會合作主席、程序委員會合作主席、委員等。
成果展示
其他
1、培養計算機類專業學生解決復雜工程問題能力研究組成員。
2、計算機教育20人論壇成員。
3、中國計算機教育發展史座談會成員。
