王豫（准聘助理教授、博导）

王豫，bv1946伟德官网准聘助理教授，研究方向为智能化软件分析测试。研究成果在PLDI、OOPSLA、TSE、ISSTA、JCST、软件学报等国内外高水平期刊会议上发表十余篇论文，获程序语言国际顶级会议OOPSLA 2020的杰出论文奖。担任软件学报、ASE、TSE、PLDI AE等国内外会议和期刊审稿人。开发的工具在多个大型开源系统中报告了百余个缺陷，并在NASAC命题型原型竞赛中获得二等奖。数据集已被下载超过1900次，为学术研究提供了基准支持。将原创专利技术应用于华为、蚂蚁金服、中电十四所和福佑卡车，帮助企业解决基础软件的关键问题。