研究员
李炼
  • 所属院校:
    中国科学院计算技术研究所
  • 所属院系:
    --
  • 研究领域:
    程序分析、软件安全
  • 职称:
    研究员
  • 导师类型:
    --
  • 招生专业:
    --
个人简介

个人简介

教育经历 本科 清华大学工程物理系 09 1993–06 1998 博士 新南威尔士大学计算机系 03 2003–08 2007 (论文题目: Scratchpad Memory Management for Static Data Aggregates) 工作经历 中科院计算技术研究所 助理研究员 (Research Assistant) 09 1998–07 2001 思略微电子有限公司 软件工程师 (Software Engineer) 08 2001–10 2002 新南威尔士大学 博士后 (Postdoc) 09 2007–05 2008 升阳公司实验室 高级研究员 (Senior Member of Technical Staff) 06 2008–06 2011 甲骨文公司实验室 首席研究员 (Principal Member of Technical Staff) 07 2011–03 2015 中科院计算技术研究所 研究员,博士生导师 04 2015–[End Date]

去登录