头像

李鑫

职称:

直属机构: 软件工程学院

学科:

10 访问

相关教师

个人资料

  • 部门: 软件工程学院
  • 性别:
  • 专业技术职务: 副研究员
  • 毕业院校:
  • 学位:
  • 学历:
  • 联系电话: +86-21-62224382
  • 电子邮箱: xinli@sei.ecnu.edu.cn
  • 办公地址: 中北校区理科大楼B1116
  • 通讯地址: 上海市中山北路3663号理科大楼B1116
  • 邮编:
  • 传真:

教育经历

工作经历

个人简介

社会兼职

研究方向

- 形式化方法、程序分析与验证

- 高阶模型检测理论与应用、程序语言理论

- 机器学习、法律和计算机理论等多学科交叉研究


招聘启事


科技部重点研发计划招聘启事.pdf




开授课程

  • 数据结构与算法(本科)

  • 算法设计与分析(硕士研究生)


科研项目

近期科研项目与人才计划


- “基于高阶模型检测的复杂高阶程序的验证方法研究”,国家自然科学基金,负责人,2019.01-2021.12

- “全流程管控的精细化执行技术及装备研究”,国家科技部重点研发计划司法专题,华师大课题负责人,2018.07-2021.06

- “基于高阶模型检测和WALA的高阶程序验证研究”,国际联合合作实验室开放课题(合作单位:IBM T.J. Watson Research Center),2017

- 浦江人才计划,2017

学术成果

荣誉及奖励