电子科技大学计算机科学与工程学院导师介绍：高辉

　　

　　个人简介
　　高辉，男，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月晋升为电子科技大学计算机学院教授。

　　科研项目
　　出版专著两部，获授权国家发明专利3项，于近几年作为第一作者或通讯作者在国际级别较高的杂志和会议上发表论文20余篇，其中被SCI 检索到10篇,被EI检索到10余篇。是期刊Science of Computer Programming、Distributed computing、电子科大学报和西安交大学报审稿人。主持/主研国家863项目2项，国家自然基金2项，国家242项目1项，教育部留学归国人员科研基金1项，华为公司高校基金若干项。

　　联系方式
　　邮箱：huigao@uestc.edu.cn