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

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

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

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

       鄔老師是國際可編程系統(tǒng)（TC65/SC65B/WG7）工作組成員，全國工業(yè)自動(dòng)化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(huì)體系結(jié)構(gòu)、通信和集成框架分技術(shù)委員會(huì)（SAC/TC159/SC5）委員。不久前他還作為唯一的中國代表參加PLC（可編程邏輯控制）國際標(biāo)準(zhǔn)制定?？删幊踢壿嬁刂破魇且环N廣泛應(yīng)用于關(guān)鍵領(lǐng)域的通用工業(yè)控制設(shè)備，在工業(yè)物聯(lián)網(wǎng)領(lǐng)域應(yīng)用巨大。

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

       陶浙進(jìn)了鄔老師的實(shí)驗(yàn)室后，鄔老師根據(jù)他“愛琢磨，善于思考”的特點(diǎn)，建議他做“形式化驗(yàn)證”研究。所謂形式化驗(yàn)證，就是用邏輯來驗(yàn)證程序的可靠性，主要手段包括模型檢測(cè)和定理證明，主要用在航空航天等對(duì)可靠性有特殊要求的領(lǐng)域。一聽就知道，這是個(gè)基礎(chǔ)理論研究領(lǐng)域，難度可想而知?？墒潜究粕照銓?duì)這方面很感興趣?！爱?dāng)然，我們實(shí)驗(yàn)室給予的條件也不錯(cuò)，陶浙可以依托我們?cè)赑LC方面的研究積累開展針對(duì)PLC程序的形式化驗(yàn)證研究，有載體平臺(tái)，再有就是去年美國波特蘭大學(xué)的一位搞形式化驗(yàn)證的教授，來我們實(shí)驗(yàn)室交流，發(fā)現(xiàn)陶浙很有鉆勁，也指導(dǎo)了他幾次?！编w老師說。

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

       陶浙在湖州的父母，被這突如其來的驚喜“就像電擊中了一樣”。到美國名校讀博士，是很花費(fèi)錢的事情。父母本來打算賣一套房子供他去留學(xué)，最后卻拿了全額獎(jiǎng)學(xué)金，“真是太意外了?！碑?dāng)然，他們最感動(dòng)的還是“杭電的導(dǎo)師，對(duì)孩子這么會(huì)培養(yǎng)，然后就是，自己的孩子，找到了適合自己的研究領(lǐng)域，一路逆襲，現(xiàn)在的學(xué)習(xí)研究平臺(tái)，絲毫不遜色清華北大復(fù)旦浙大畢業(yè)生了?！保ㄐＰ侣勚行模?/p>

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

陶浙和父母