高辉 - 电子科技大学 - 计算机科学与工程学院

个人简介

个人背景高辉，男，1969年9月出生，汉族，博士（荷兰格罗宁根大学），现任电子科技大学计算机学院教授、博士生导师，主要研究领域：数据挖掘、算法设计与分析、形式化验证等。1991年7月毕业于北京大学数学系本科，获理学学士学位。2000年2月考取荷兰格罗宁根大学数学与计算机学院数学系博士生，2001年2月因导师分别赴德国和挪威工作，转为荷兰格罗宁根大学数学与计算机学院计算机系博士生，在荷兰攻读博士学位期间独立解决了困扰导师多年的关于如何验证自行设计的"无锁动态哈希表算法"的难题，参与设计并验证的两个无锁并行程序被列入迄今为止经过机器验证的最为复杂的程序之列。2005年4月获计算机博士学位，是全荷兰为数不多（百分之十左右）在四年内完成博士论文的优秀毕业生，其博士论文受到博士论文答辩委员会成员（包括国际知名的计算机科学家MauriceHerlihy教授）的一致好评。2005年4月至2006年4月为荷兰格罗宁根大学数学与计算机学院计算机系GuestResearcher，2006年6月回国，为电子科技大学计算机学院讲师，同年11月晋升为电子科技大学计算机学院副教授，2011年12月被评为博士生导师,2012年7月晋升为电子科技大学计算机学院教授。科研方向 2006年11月至今，电子科技大学计算机科学与工程学院教授/博士生导师，近几年出版专著2部，获授权国家发明专利3项，作为第一作者或通讯作者在国际级别较高的期刊和会议上发表论文20余篇，其中被SCI检索到10篇,被EI检索到10余篇。是ScienceofComputerProgramming、DistributedComputing、电子科大学报、西安交通大学学报等期刊的审稿人。主持/主研国家863项目2项，国家自然科学基金3项、国家242项目1项，教育部留学归国人员科研基金1项，华为公司、中兴公司横向项目若干项。研究项目出版专著两部，获授权国家发明专利3项，于近几年作为第一作者或通讯作者在国际级别较高的杂志和会议上发表论文20余篇，其中被SCI检索到10篇,被EI检索到10余篇。是期刊ScienceofComputerProgramming、Distributedcomputing、电子科大学报和西安交大学报审稿人。主持/主研国家863项目2项，国家自然基金2项，国家242项目1项，教育部留学归国人员科研基金1项，华为公司高校基金若干项。教学工作承担本科《离散数学》双语课程和博士研究生《组合设计与组合优化理论》课程的教学工作。

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

主要研究领域：数据挖掘、并行算法设计、形式化验证等。