李樾,伟德国际bevictor1946副教授,博士生导师,入选国家级青年人才计划、bv1946伟德官网登峰人才计划,bv1946伟德官网紫金学者。2016年博士毕业于澳大利亚新南威尔士大学, 之后先后在新南威尔士大学(编译组)与丹麦奥胡斯大学(程序设计语言组)从事博士后研究工作。 研究方向为程序设计语言与程序分析,在程序设计语言与软件工程相关国际顶级期刊与会议,TOPLAS、TOSEM、TSE、PLDI、OOPSLA、ECOOP、ISSTA、ICSE、FSE等发表学术工作。 曾获ICSE 2025最佳软件制品奖、ICSE 2025 杰出论文奖、OOPSLA杰出软件制品奖、ECOOP 2016 杰出论文奖,CGO 2013最佳论文奖和ISSRE 2017最佳论文提名等学术奖项。其讲授的两门程序设计语言专业课程《计算机程序的构造和解释》、《软件分析》选课均超百人,均获得毕业生“我心目中的好课程”。与谭添老师共同创建并管理PASCAL(程序设计语言与静态分析)研究组,和员工们一道不断深挖拓展程序分析技术的边界。
个人主页:/yueli Email:yueli@nju.edu.cn