教授/博导电子科技大学计算机科学与工程学院
教师简介

高辉,男,1969年9月出生,汉族,博士,现任电子科技大学计算机学院教授、博士生导师,主要研究领域包括并行算法,计算智能和形式化方法。1991年7月毕业于北京大学数学系本科,获理学学士学位,毕业后任中国人民大学附属中学教师,1996年6月获中教一级职称。2000年2月考取荷兰格罗宁根大学数学与计算机学院数学系博士生,2001年2月因导师分别赴德国和挪威工作,转为荷兰格罗宁根大学数学与计算机学院计算机系博士生,研究的题目为:高效并行程序的设计与验证。在荷兰攻读博士学位期间独立解决了困扰导师多年的关于如何验证自行设计的"无锁动态哈希表算法"的难题,参与设计并验证的两个无锁并行程序被列入迄今为止经过机器验证的最为复杂的程序之列。2005年4月获计算机博士学位,是全荷兰为数不多的优秀毕业生,其博士论文受到包括国际知名的计算机科学家Maurice Herlihy教授在内的博士论文答辩委员会的一致好评。2005年4月至2006年4月为荷兰格罗宁根大学数学与计算机学院计算机系Guest Researcher,研究的题目是:高可信并行图像过滤器。2006年6月回国,为电子科技大学计算机学院讲师,同年11月晋升为电子科技大学计算机学院副教授,2011年12月被评为博士生导师,2012年7月晋升为电子科技大学计算机学院教授。
目前承担本科《离散数学》双语课程和博士研究生《组合设计与组合优化理论》课程的教学工作。近几年出版专著两部,并作为第一作者在国际级别较高的杂志和会议上发表论文20余篇,其中被SCI 检索到8篇,被EI检索到10余篇。是期刊Science of Computer Programming、Distributed computing、电子科大学报和西安交大学报审稿人。主持/主研国家863项目2项,国家自然基金2项,国家242项目1项,教育部留学归国人员科研基金1项,华为公司高校基金若干项。