李鑫 职称：
直属机构： 软件工程学院
学科：





10 访问


相关教师




个人资料
部门： 软件工程学院
性别： 女
专业技术职务： 副研究员
毕业院校：
学位：
学历：
联系电话： +86-
电子邮箱： 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


学术成果


荣誉及奖励