冉德智在2021年直博進入計算機學院，跟隨謝濤教授研究計算機軟件與理論方向，現已在國際頂級學術會議與期刊上以第一作者身份發表4篇論文，相關研究成果成功在阿裏巴巴集團、華為公司等信息產業頭部企業落地，支撐產業生產實踐。他曾獲博士研究生國家獎學金，意昂3体育官网博士研究生校長獎學金，本科生國家獎學金，意昂3体育官网本科生優秀科研項目，CCF優秀大學生，阿裏巴巴集團2021—2022年度優秀科學研習生，意昂3体育官网“未名學士”，意昂3体育官网三好學生標兵等獎學金和榮譽稱號。他也積極參與社會實踐與公益活動，針對社會熱點問題和重大關切開展研究，將論文寫在祖國大地上。

在本科階段，他就對科研展現出了濃厚的興趣，以第一作者身份發表了多篇研究論文，並獲得了意昂3体育官网“未名學士”榮譽稱號。在本科階段的研究中，他逐漸找到了自己的研究目標：做有實踐價值的學術創新工作。因此他最終選擇在計算機學院直博，跟隨謝濤，追求學術研究和產業實踐的雙重影響力。

在跟隨謝濤從事軟件方向的研究中，他的第一個課題是同淘寶質量保障團隊合作，研究復雜移動應用的測試輸入自動生成技術。從端到端的全覆蓋，到傳統方法和深度學習的融合，再到大數據集的調試和實驗，這樣一套首創的融合性的深度學習的自動化視覺測試方案，經歷了“否定之否定”的螺旋，90天，6次深度會議討論，無數次茶余飯後的battle，密密麻麻的釘釘消息記錄……他使用理論分析論證了這套自研工具的性能，也在構造的人工數據集上取得了完美的表現。

然而精巧的工具並不能經受住真實的產品考驗。假設淘寶APP背後是這樣一套理想化數值，無論表面多精巧都是一個假象，當一個產品需求變化的時候，80%就無法用了。在一系列爭論中，他最終放棄了高數值的結果模型，這是在學校做研究時未曾經歷過的“多棱鏡”，也從更加寬厚的角度，重新尊重和理解學術的成果。產研結合的最終目的，依然是有助於業務的實際收益。評判的維度甚至不止收益，還有資源調配與投入的合理性，規模化復製的可能性等等。而正是因為業界復雜的因素影響，更能反過來推動學術和技術的創新。

VTest在計算機學院“人工智能學術月”

最終，在多次實踐與研究迭代下，他提出了移動軟件通用自動化測試框架VTest/MonkeyBot，在包括淘寶等在內的10余個復雜產業移動應用上落地部署，服務於日常質量保障，特別是服務於“雙十一”等重要場景的質量保障和測試。該框架已在Android、iOS、鴻蒙等操作系統落地實踐，推動測試效能提升3倍以上。此外，該框架還通過軟件綠色聯盟向行業數十家合作夥伴（包括華為、騰訊、百度、工信部泰爾實驗室等行業頭部公司或監管部門）提供公共測試服務。

冉德智獲2022年度阿裏巴巴優秀科學研習生

他的工作獲得了多方認可。在阿裏巴巴集團年度實習生評選中，他從全球來自200多所高校的上千名實習生中脫穎而出，獲得了優秀科學研習生的稱號。

冉德智在QECON大會上作報告

在2021年面向近萬產業一線人員參與的QECON大會上，他作為唯一學生講者進行了50分鐘報告，從數百名講師中脫穎而出獲得了年度“十佳講師”的榮譽稱號。

冉德智攝於計算機學院

隨著ChatGPT、CodeX為代表的大模型在眾多任務上取得了令人矚目的成就，大模型的國產化與可信化成為了一個關鍵的問題。為了構建自主創新的AI代碼輔助編程工具，從2021年4月起至今，他作為研究實習生進入華為雲PaaS技術創新Lab，參與了基於大模型的代碼生成項目攻關，撰寫多篇研究論文，研究成果貢獻到華為AI代碼輔助編程產品CodeArts Snap。

除了面向產業一線熱點難點問題外，他也十分關註國家和社會熱點問題與重大需求。數字化時代老年人使用軟件不便，適老化改造迫在眉睫。通過全面調研與思考，他總結了移動應用適老化改造指南並服務於淘寶適老化改造，為老年人用戶提供了方便；此工作也促使意昂3体育成為了電信終端產業協會移動互聯網與軟件技術組（TAF WG2) 的會員，為廣大老年人與殘障人士在信息時代的更好生活體驗而作出貢獻。平時，他也積極參與社會公益與教育活動。在由騰訊發起，由科學家主導，多位院士與眾多科學探索獎得主領銜的公益項目科學苗子計劃中，他擔任科研助理導師，帶領高中生開展科研項目，通過手把手指導高中生開展科學研究，點燃同學們對科研的興趣，為他們埋下從事科學研究的種子。

以做頂天立地的研究為理想，以滿腔的學術熱情為燃料，以解決產業實際問題為準繩，以國家和社會需求為導向，冉德智銳意進取、自強不息，在學術研究中享受探索人類知識邊界的樂趣，在產研轉化中挖掘青年價值。