霍紅衛[西安電子科技大學計算機學院教授]

霍紅衛，女，西安電子科技大學計算機學院教授，博士生導師，計算機軟體與理論學術帶頭人。

人物簡介

霍紅衛，女，西安電子科技大學計算機學院教授，碩士生導師（碩士學科：081202計算機軟體與理論）、博士生導師（博士學科：081203計算機套用技術），計算機軟體與理論學術帶頭人。計算機科學系主任。曾獲香港億利達優秀論文獎，首屆西安電子科技大學“十佳青年教師”稱號，電子工業部科技進步三等獎（第一完成人），陝西省高等學校科學技術進步二等獎（第一完成人）。IEEE/CS會員。中國計算機學會高級會員。

霍紅衛主持國家自然科學基金、預研、南京大學計算機軟體新技術國家重點實驗室、華為基金等多項科研項目。在《MathematicalandComputerModeling》、《JournalofBioinformaticsandComputationalBiology》、《ChineseJournalofElectronics》、《計算機學報》、《軟體學報》、《電子學報》、BIBE、CSB等國內外頂級刊物和會議發表學術論文60餘篇。出版算法有關的著作6本。

個人簡歷

1986年，獲得西北大學數學學士學位；

1991年，獲得西安電子科技大學計算機軟體與理論專業碩士學位；

2000年，獲得西安電子科技大學信號與信息處理專業博士學位；

2007年，訪問MIT，HarvardUniversity和JHU。

科研獲獎

1．組合最佳化與計算幾何方面的並行算法及軟體，電子工業部科技進步三等獎，1998.

2．雷達成像處理並行算法及軟體，陝西省高等學校科學技術進步三等獎，2001.

教材譯著

1．算法設計與分析,西安電子科技大學出版社,2010

2．算法I-IV（C實現）基礎知識、數據結構、排序和搜尋,機械工業出版社,2009

3．算法V（C實現）圖算法,機械工業出版社,2009

4．算法學—計算精髓,高等教育出版社,2007

5．算法分析與設計,人民郵電出版社,2006

科研教學

科研情況

1.基於多核體系結構的XXXXXXXX的並行算法研究博士點基金

2．XML硬體加速，華為

3．基於FPGA的硬體加速的協定軟體設計和驗證，華為

4．基於FPGA的高速流分類算法研究，華為

5．固定大小陣列上算法劃分和映射方法研究，南京大學計算機軟體新技術國家重點實驗室

6．算法到VLSI陣列的映射，國家自然科學基金

7．××處理並行算法及軟體，預研

8．組合最佳化與計算幾何方面的並行算法及軟體，預研

9．多序列比對問題的計算模型及最佳化方法研究，陝西省自然科學基金

10．××處理支撐技術研究，預研，主要參加人

11．××評價體系研究，973子項，主要參加人

教學情況

1．算法設計與分析，碩士研究生學位課程，西安電子科技大學研究生精品課程

2．並行與分布計算，博士研究生學位課程

3．生物信息學算法，研究生選修課程

4．數據結構，陝西省精品課程負責人

5．算法設計與分析，軟體及教改班必修課（本科生），西安電子科技大學精品課程

論文著作

劉立芳霍紅衛王寶樹.生物序列模體的混合Gibbs抽樣識別算法.電子學報,2008,36(04):750-755

霍紅衛白帆.一種具有精確邊界的重複體識別算法.計算機學報,2008,31(02):214-219

霍紅衛肖智偉.基於最大權值路徑算法的DNA多序列比對方法.軟體學報,2007,18(02):185-195

劉立芳霍紅衛王寶樹.PHGA-COFFEE:多序列比對問題的並行混合遺傳算法求解.計算機學報,2006,29(05):727-733

閆海珍霍紅衛.量子查找算法的發展與前瞻.計算機工程,2003,29(03):4-6

王碧霍紅衛.基於K-D樹的多維數據分布方法.計算機工程,2003,29(03):105-107

霍紅衛許進保錚.選擇和變異運算元的作用分析.電子學報,2000,28(02):31-35

霍紅衛莊心谷.算法到脈動陣列處理器的映射.計算機研究與發展,1997,34(11):812-816

霍紅衛莊心谷.實時系統資源分配的動態規划算法.計算機學報,1997,20(03):269-274

霍紅衛莊心谷.超立方體上所有點對之間的最短路徑.計算機學報,1996,19(02):154-158

霍紅衛韓俊剛.基於高階邏輯的硬體驗證方法.計算機學報,1993,16(10):768-775