高辉（电子科技大学副教授）
编辑：Simone
2024-09-18 01:00:59
556 阅读
高辉，男，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月晋升为电子科技大学计算机学院教授。
想要了解更多“高辉（电子科技大学副教授）”的信息，请点击：高辉（电子科技大学副教授）百科
版权声明：本站【问百科】文章素材来源于网络或者用户投稿，未经许可不得用于商用，如转载保留本文链接：https://www.wenbaik.com/article/105432.html
