更新时间：2024-09-20 23:18
高辉，男，1969年9月出生，汉族，现任电子科技大学计算机学院教授、博士生导师。他的主要研究领域包括数据挖掘、算法设计与分析、形式化验证等。1991年7月，高辉毕业于北京大学数学系本科，获得理学学士。2000年2月，他考取荷兰格罗宁根大学数学与计算机学院数学系博士生，但因导师分别赴德国和挪威工作，转为荷兰格罗宁根大学数学与计算机学院计算机系博士生。在荷兰攻读博士学位期间，高辉独立解决了导师多年的关于如何验证自行设计的"无锁动态哈希表算法"的难题，参与设计并验证的两个无锁并行程序被列入迄今为止经过机器验证的最为复杂的程序之列。2005年4月，高辉获得计算机博士学位，是全荷兰为数不多（百分之十左右）在四年内完成博士论文的优秀毕业生，其博士论文受到博士论文答辩委员会成员（包括国际知名的计算机科学家Maurice Herlihy教授）的一致好评。2005年4月至2006年4月，高辉担任荷兰格罗宁根大学数学与计算机学院计算机系Guest Researcher。2006年6月回国后，成为电子科技大学计算机学院讲师，同年11月晋升为电子科技大学计算机学院副教授，2011年12月被评为博士生导师，2012年7月晋升为电子科技大学计算机学院教授。
2000年2月考取荷兰格罗宁根大学数学与计算机学院数学系博士生。
2001年2月因导师分别赴德国和挪威工作，转为荷兰格罗宁根大学数学与计算机学院计算机系博士生，研究的题目为：高效并行程序的设计与验证。在荷兰攻读博士学位期间独立解决了困扰导师多年的关于如何验证自行设计的"无锁动态哈希表算法"的难题，参与设计并验证的两个无锁并行程序被列入迄今为止经过机器验证的最为复杂的程序之列。
2005年4月获计算机博士学位，是全荷兰为数不多（百分之十左右）在四年内完成博士论文的优秀毕业生。其博士论文受到博士论文答辩委员会成员（包括国际知名的计算机科学家MauriceHerlihy教授）的一致好评。2005年4月至2005年4月为荷兰格罗宁根大学数学与计算机学院计算机系GuestResearcher，研究的题目是：高可信并行图像过滤器。
2006年6月为电子科技大学计算机学院讲师，同年11月晋升为电子科技大学计算机学院副教授。
承担本科的《算法设计与分析》课程和研究生的《组合设计与组合优化原理》课程的教学工作。
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项，华为高校基金若干项。