高輝[電子科技大學副教授]

高輝,男,1969年9月出生,漢族,博士(荷蘭格羅寧根大學),現任電子科技大學計算機學院教授、博士生導師,主要研究領域:數據挖掘、算法設計與分析、形式化驗證等。1991年7月畢業於北京大學數學系本科,獲理學學士學位。2000年2月考取荷蘭格羅寧根大學數學與計算機學院數學系博士生,2001年2月因導師分別赴德國和挪威工作,轉為荷蘭格羅寧根大學數學與計算機學院計算機系博士生,在荷蘭攻讀博士學位期間獨立解決了困擾導師多年的關於如何驗證自行設計的"無鎖動態哈希表算法"的難題,參與設計並驗證的兩個無鎖並行程式被列入迄今為止經過機器驗證的最為複雜的程式之列。2005年4月獲計算機博士學位,是全荷蘭為數不多(百分之十左右)在四年內完成博士論文的優秀畢業生,其博士論文受到博士論文答辯委員會成員(包括國際知名的計算機科學家Maurice Herlihy教授)的一致好評。2005年4月至2006年4月為荷蘭格羅寧根大學數學與計算機學院計算機系Guest Researcher,2006年6月回國,為電子科技大學計算機學院講師,同年11月晉升為電子科技大學計算機學院副教授,2011年12月被評為博士生導師,2012年7月晉升為電子科技大學計算機學院教授。

簡介

高輝,男,1969年9月出生,漢族,博士(荷蘭格羅寧根大學),現任電子科技大學計算機學院副教授。1991年7月畢業於北京大學數學系本科,獲理學學士學位。

2000年2月考取荷蘭格羅寧根大學數學與計算機學院數學系博士生。

2001年2月因導師分別赴德國和挪威工作,轉為荷蘭格羅寧根大學數學與計算機學院計算機系博士生,研究的題目為:高效並行程式的設計與驗證。在荷蘭攻讀博士學位期間獨立解決了困擾導師多年的關於如何驗證自行設計的"無鎖動態哈希表算法"的難題,參與設計並驗證的兩個無鎖並行程式被列入迄今為止經過機器驗證的最為複雜的程式之列。

2005年4月獲計算機博士學位,是全荷蘭為數不多(百分之十左右)在四年內完成博士論文的優秀畢業生。其博士論文受到博士論文答辯委員會成員(包括國際知名的計算機科學家Maurice Herlihy教授)的一致好評。2005年4月至2005年4月為荷蘭格羅寧根大學數學與計算機學院計算機系Guest Researcher,研究的題目是:高可信並行圖像過濾器。

2006年6月為電子科技大學計算機學院講師,同年11月晉升為電子科技大學計算機學院副教授。

教學

承擔本科的《算法設計與分析》課程和研究生的《組合設計與組合最佳化原理》課程的教學工作。

科研

2006年11月至今,電子科技大學計算機科學與工程學院教授/博士生導師,主要研究領域:數據挖掘、並行算法設計、形式化驗證等。近幾年出版專著2部,獲授權國家發明專利3項,作為第一作者或通訊作者在國際級別較高的期刊和會議上發表論文20餘篇,其中被SCI檢索到10篇,被EI檢索到10餘篇。是Science of Computer Programming、Distributed Computing、電子科大學報、西安交通大學學報等期刊的審稿人。主持/主研國家863項目2項,國家自然科學基金3項、國家242項目1項,教育部留學歸國人員科研基金1項,華為公司、中興公司橫向項目若干項。

出版專著兩部,獲授權國家發明專利3項,於近幾年作為第一作者或通訊作者在國際級別較高的雜誌和會議上發表論文20餘篇,其中被SCI檢索到10篇,被EI檢索到10餘篇。是期刊Science of Computer Programming、Distributed computing、電子科大學報和西安交大學報審稿人。主持/主研國家863項目2項,國家自然基金2項,國家242項目1項,教育部留學歸國人員科研基金1項,華為公司高校基金若干項。

相關詞條

熱門詞條

聯絡我們