好房网

网站首页 二手房 > 综合百科 > 正文

高辉电源科技(高辉 电子科技大学副教授)

2022-07-29 03:39:33 综合百科 来源:
导读 当前大家对于高辉 电子科技大学副教授都是颇为感兴趣的,大家都想要了解一下高辉 电子科技大学副教授,那么小美也是在网络上收集了一些

当前大家对于高辉 电子科技大学副教授都是颇为感兴趣的,大家都想要了解一下高辉 电子科技大学副教授,那么小美也是在网络上收集了一些关于高辉 电子科技大学副教授的一些信息来分享给大家,希望能够帮到大家哦。

1、高辉,男,1969年9月出生,汉族,博士(荷兰格罗宁根大学),现任电子科技大学计算机学院教授、博士生导师,主要研究领域:数据挖掘、算法设计与分析、形式化验证等。

2、1991年7月毕业于北京大学数学系本科,获理学学士学位。

3、2000年2月考取荷兰格罗宁根大学数学与计算机学院数学系博士生,2001年2月因导师分别赴德国和挪威工作,转为荷兰格罗宁根大学数学与计算机学院计算机系博士生,在荷兰攻读博士学位期间独立解决了困扰导师多年的关于如何验证自行设计的"无锁动态哈希表算法"的难题,参与设计并验证的两个无锁并行程序被列入迄今为止经过机器验证的最为复杂的程序之列。

4、2005年4月获计算机博士学位,是全荷兰为数不多(百分之十左右)在四年内完成博士论文的优秀毕业生,其博士论文受到博士论文答辩委员会成员(包括国际知名的计算机科学家Maurice Herlihy教授)的一致好评。

5、2005年4月至2006年4月为荷兰格罗宁根大学数学与计算机学院计算机系Guest Researcher,2006年6月回国,为电子科技大学计算机学院讲师,同年11月晋升为电子科技大学计算机学院副教授,2011年12月被评为博士生导师,2012年7月晋升为电子科技大学计算机学院教授。

6、

本文到此结束,希望对大家有所帮助。


版权说明: 本文由用户上传,如有侵权请联系删除!


标签: