何炎祥,男,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