高輝,男,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月
- 畢業院校:北京大學