李炼

  • 余春燕
  • 发布于 2016-05-25
  • 3506
  • 李炼
  • 简历:

    于1998年毕业于清华大学工程物理系,获得工学学士学位。2003年开始在澳大利亚新南威尔士大学攻读计算机博士学位,并于2007年8月获得博士学位。博士毕业后于2007至2008年在新南威尔士大学担任博士后职位。2008至2014年任职于升阳公司(2011年并入甲骨文)和甲骨文公司澳大利亚实验室,先后担任高级研究员(senior member of technical staff)和主管研究员 (principal member of technical staff)职位。多年以来一直从事程序设计语言相关方面的系统研究,在针对嵌入式系统的编译技术、程序分析以及并行技术等方面都做出了有国际影响的重大成果。近 年来先后在国际顶尖会议和期刊包括FSE,PACT,IEEE TC, ACM TACO/TECS, LCTES发表论文20 篇,其中以第1作者发表的论文11 篇,单篇最高他引108 次(谷歌学术搜索)。其研究成果多已开发出原型系统并应用到相关领域中,产生了重大的实际应用价值。回所后的研究工作围绕程序分析技术展开,着重于如何应用程序分析技术来提高软件和系统的可靠性和安全性:包括静态程序分析检错技术,自动测试技术,以及辅助调试技术等。

    电子邮件:lianli@ict.ac.cn

    研究领域:

    程序分析技术