上海交通大学计算机系副主任，主管教学。从教15年， 主讲程序分析与验证、程序设计思想与方法等课程，主持教育部产学合作协同育人项目“计算机体系结构相关课程体系改革”的研究，参与“软件工程原理”等本科教材的编著。主要研究方向为软件开发方法，主持与参与多项国家自然科学基金项目及国家级课题。研究结果发表于PLDI、FSE、ICSE、TOSEM等领域内顶级会议和期刊，并在华为、阿里云、英特尔等工业界应用。获得 2018 年度 NASAC-东软青年软件创新奖、2023年ICSE杰出论文奖和上海交通大学教书育人奖团队奖一等奖。