我校最近在統(tǒng)計2019屆本科生讀研情況時，計算機學院陶浙同學創(chuàng)了個“雙高記錄”，一個是“直博”美國名校，一個是獲得全額獎學金創(chuàng)造畢業(yè)生記錄，達到316934.85美元。當我們聯(lián)系到正在美國加州大學戴維斯分校讀博的陶浙時，這名敦厚小伙子有兩句話讓人印象深刻，一個是“2年前不敢想”，再就是“特別感謝鄔惠峰老師”。

加州大學戴維斯分校是 Tier-1(最高級別) 全美最頂尖公立大學之一。根據(jù)2019年《美國新聞與世界報道》，UC Davis在美國大學本科綜合排名第38位，世界大學排名中位列全球第52位；在2018年泰晤士高等教育世界大學排名中位列全球第54位。連清華北大交大等名校本科生直博UC Davis都比較難，對于杭電的本科生，難度之大可想而知。

其實，陶浙所說的“2年前不敢想”，還有一層更深的意思，就是這個學生即便到了大二，還是不太自信。“孩子是湖州中學畢業(yè)的，高考時，班上同學升學不少是清北浙大的，上了杭電計算機學院，我們感覺還是很不錯的，但自此孩子變得有點不太自信了，可能是感覺相比以前同學有些掉隊了吧。”陶浙媽媽對記者說。

進入杭電計算機學院的陶浙，遇到了一位“讓他一路逆襲”的嚴師，他就是現(xiàn)在擔任計算機學院副院長的鄔惠峰教授。陶浙大一時上過鄔老師的C語言課，大二時加入鄔老師的“創(chuàng)新實踐課”。這是計算機學院“升級本科生培養(yǎng)”的教學科研平臺。由學院精選教師按照研究生培養(yǎng)水平帶本科生做科研項目。“陶浙一般很有主見，也不太輕易敬佩一個人，但是跟了鄔老師上創(chuàng)新實踐課做科研項目，電話中總是說鄔老師這個那個。我們還特地去杭電看了鄔老師。孩子這么信服一位老師，聽老師的話多于聽我們的話，我們也很欣慰。”陶浙媽媽說。

鄔老師是國際可編程系統(tǒng)（TC65/SC65B/WG7）工作組成員，全國工業(yè)自動化系統(tǒng)與集成標準化技術委員會體系結構、通信和集成框架分技術委員會（SAC/TC159/SC5）委員。不久前他還作為唯一的中國代表參加PLC（可編程邏輯控制）國際標準制定。可編程邏輯控制器是一種廣泛應用于關鍵領域的通用工業(yè)控制設備，在工業(yè)物聯(lián)網(wǎng)領域應用巨大。

鄔老師雖然是博士生導師，可是在帶本科生時也是傾注了大量的心血。他帶“創(chuàng)新實踐課”本科生時，有一個秘訣，就是“先和學生聊天”。用他的話說就是“做好學生思想工作，再與學生一起確定研究項目”。

陶浙進了鄔老師的實驗室后，鄔老師根據(jù)他“愛琢磨，善于思考”的特點，建議他做“形式化驗證”研究。所謂形式化驗證，就是用邏輯來驗證程序的可靠性，主要手段包括模型檢測和定理證明，主要用在航空航天等對可靠性有特殊要求的領域。一聽就知道，這是個基礎理論研究領域，難度可想而知。可是本科生陶浙對這方面很感興趣。“當然，我們實驗室給予的條件也不錯，陶浙可以依托我們在PLC方面的研究積累開展針對PLC程序的形式化驗證研究，有載體平臺，再有就是去年美國波特蘭大學的一位搞形式化驗證的教授，來我們實驗室交流，發(fā)現(xiàn)陶浙很有鉆勁，也指導了他幾次。”鄔老師說。

陶浙一開始準備出國深造，但是由于對自己沒有自信，有段時間甚至放棄了形式化驗證方面的學習和研究，鄔老師一直鼓勵他，建議他直接報考名校的博士，對自己要有信心。其實，鄔老師明白，陶浙搞的形式化驗證研究，本身就很難，而且他有很好的研究基礎，會有慧眼識珠的導師看上他的。這對師徒每周都見面，鄔老師一邊做孩子的思想工作，一邊和他交流學術研究。到提交申請之前，陶浙還是信心不足，有放棄直接攻讀博士的想法。但是鄔老師有信心，“他的《PLC程序的形式化驗證方法研究》畢業(yè)論文，有不少有見識的理論成果，是杭電最好的本科生論文之一，他的水平在那里，我對他有信心。”相信鄔老師，相信自己，陶浙決定堅持下去。到了今年三月，加州大學戴維斯分校的博士錄取通知書到了，而且還提供近32萬美元的全額獎學金。“顯然，他的UC Davis導師，是看中了他在形式化驗證領域的研究潛力，所以杭電的本科生實現(xiàn)了逆襲。”鄔老師笑著說。

陶浙在湖州的父母，被這突如其來的驚喜“就像電擊中了一樣”。到美國名校讀博士，是很花費錢的事情。父母本來打算賣一套房子供他去留學，最后卻拿了全額獎學金，“真是太意外了。”當然，他們最感動的還是“杭電的導師，對孩子這么會培養(yǎng)，然后就是，自己的孩子，找到了適合自己的研究領域，一路逆襲，現(xiàn)在的學習研究平臺，絲毫不遜色清華北大復旦浙大畢業(yè)生了。”（校新聞中心）

左四為鄔惠峰教授，左五為陶浙

陶浙和父母在一起