海外读博奖学金，近32万美元奖学金！湖中毕业生本科“直博”美国名校

杭电最近在统计2019届本科生读研情况时

计算机学院陶浙同学

创了个“双高记录”

一个是“直博”美国名校

一个是全额奖学金创造毕业生记录

达到.85美元

记者联系到正在美国加州大学戴维斯分校读博的陶浙时，这名敦厚小伙子有两句话让人印象深刻，一个是“2年前不敢想”，再就是“特别感谢邬惠峰老师”。

加州大学戴维斯分校（UC Davis）

是什么概念呢？

它是 Tier-1（最高级别）全美最顶尖公立大学之一。根据2019年《美国新闻与世界报道》，UC Davis在美国大学本科综合排名第38位，世界大学排名中位列全球第52位；在2018年泰晤士高等教育世界大学排名中位列全球第54位。连清华北大交大等名校本科生直博UC Davis都比较难，对杭电这样的双非大学，难度之大可想而知。

“我身边的博士同学，大多是清北毕业的。”陶浙不好意思地说。

“孩子是湖州中学毕业的，高考时，班上同学升学不少是清北浙大的，上了杭电计算机学院，我们感觉还是很不错的，但自此孩子变得有点不太自信了，可能是感觉相比以前同学有些掉队了吧。”陶浙妈妈告诉记者。

进入杭电计算机学院的陶浙，遇到了一位“让他一路逆袭”的严师——现担任计算机学院副院长的邬惠峰教授。陶浙大一时上过邬老师的C语言课，大二时加入邬老师的“创新实践课”。这是计算机学院“升级本科生培养”的教学科研平台。由学院精选教师按照研究生培养水平带本科生做科研项目。

邬惠峰是国际可编程系统（TC65/SC65B/WG7）工作组成员，全国工业自动化系统与集成标准化技术委员会体系结构、通信和集成框架分技术委员会（SAC/TC159/SC5）委员。不久前他还作为唯一的中国代表参加PLC（可编程逻辑控制）国际标准制定。可编程逻辑控制器是一种广泛应用于关键领域的通用工业控制设备，在工业物联网领域应用巨大。

虽然是博士生导师，但邬惠峰在带本科生时也是倾注了大量的心血。他带本科生时，有一个秘诀，就是先和学生聊天。用他的话说就是，“做好学生思想工作，再与学生一起确定研究项目”。

陶浙进了邬老师的实验室后，邬老师根据他“爱琢磨，善于思考”的特点，建议他做“形式化验证”研究。所谓形式化验证，就是用逻辑来验证程序的可靠性，主要手段包括模型检测和定理证明，主要用在航空航天等对可靠性有特殊要求的领域。一听就知道，这是个基础理论研究领域，难度可想而知。可是本科生陶浙对这方面很感兴趣。

“当然，我们实验室给予的条件也不错，陶浙可以依托我们在PLC方面的研究积累开展针对PLC程序的形式化验证研究，有载体平台，再有就是去年美国波特兰大学的一位搞形式化验证的教授，来我们实验室交流，发现陶浙很有钻劲，也指导了他几次。”邬老师说。

陶浙一开始准备出国深造，但是由于对自己没有自信，有段时间甚至放弃了形式化验证方面的学习和研究，邬老师一直鼓励他，建议他直接报考名校的博士，对自己要有信心。其实，邬老师明白，陶浙搞的形式化验证研究海外读博奖学金，本身就很难，而且他有很好的研究基础，会有慧眼识珠的导师看上他的。这对师徒每周都见面，邬老师一边做孩子的思想工作，一边和他交流学术研究。到提交申请之前，陶浙还是信心不足，有放弃直接攻读博士的想法。但邬老师有信心，“他的《PLC程序的形式化验证方法研究》毕业论文，有不少有见识的理论成果，是杭电最好的本科生论文之一，他的水平在那里，我对他有信心。”

相信邬老师，相信自己，陶浙决定坚持下去。到了今年三月，加州大学戴维斯分校的博士录取通知书到了，而且还提供近32万美元的全额奖学金。

“显然海外读博奖学金，近32万美元奖学金！湖中毕业生本科“直博”美国名校，他的UC Davis导师，是看中了他在形式化验证领域的研究潜力，所以杭电的本科生实现了逆袭。”邬老师笑着说，只要找到了适合自己的研究领域，一路钻研，就能有收获。