冉德智在2021年直博进入计算机学院，跟随谢涛教授研究计算机软件与理论方向，现已在国际顶级学术会议与期刊上以第一作者身份发表4篇论文，相关研究成果成功在阿里巴巴集团、华为公司等信息产业头部企业落地，支撑产业生产实践。他曾获博士研究生国家奖学金，北京大学博士研究生校长奖学金，本科生国家奖学金，北京大学本科生优秀科研项目，CCF优秀大学生，阿里巴巴集团2021—2022年度优秀科学研习生，北京大学“未名学士”，北京大学三好学生标兵等奖学金和荣誉称号。他也积极参与社会实践与公益活动，针对社会热点问题和重大关切开展研究，将论文写在祖国大地上。

在本科阶段，他就对科研展现出了浓厚的兴趣，以第一作者身份发表了多篇研究论文，并获得了北京大学“未名学士”荣誉称号。在本科阶段的研究中，他逐渐找到了自己的研究目标：做有实践价值的学术创新工作。因此他最终选择在计算机学院直博，跟随谢涛，追求学术研究和产业实践的双重影响力。

在跟随谢涛从事软件方向的研究中，他的第一个课题是同淘宝质量保障团队合作，研究复杂移动应用的测试输入自动生成技术。从端到端的全覆盖，到传统方法和深度学习的融合，再到大数据集的调试和实验，这样一套首创的融合性的深度学习的自动化视觉测试方案，经历了“否定之否定”的螺旋，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。

除了面向产业一线热点难点问题外，他也十分关注国家和社会热点问题与重大需求。数字化时代老年人使用软件不便，适老化改造迫在眉睫。通过全面调研与思考，他总结了移动应用适老化改造指南并服务于淘宝适老化改造，为老年人用户提供了方便；此工作也促使北大成为了电信终端产业协会移动互联网与软件技术组（TAF WG2) 的会员，为广大老年人与残障人士在信息时代的更好生活体验而作出贡献。平时，他也积极参与社会公益与教育活动。在由腾讯发起，由科学家主导，多位院士与众多科学探索奖得主领衔的公益项目科学苗子计划中，他担任科研助理导师，带领高中生开展科研项目，通过手把手指导高中生开展科学研究，点燃同学们对科研的兴趣，为他们埋下从事科学研究的种子。

以做顶天立地的研究为理想，以满腔的学术热情为燃料，以解决产业实际问题为准绳，以国家和社会需求为导向，冉德智锐意进取、自强不息，在学术研究中享受探索人类知识边界的乐趣，在产研转化中挖掘青年价值。