EN
当前位置： X-MOL首页 › 全球导师 › 国内导师 › 李鑫
李鑫 副研究员 收藏 完善纠错
华东师范大学    软件工程学院
登录后才能查看导师的联系方式，马上登录...

研究领域

查看导师最新文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

形式化方法、程序分析与验证 高阶模型检测理论与应用、程序语言理论 机器学习、法律和计算机理论等多学科交叉研究

我收藏的导师 >
最便捷的期刊搜索 >
免费课题组网站 >
推荐链接
down
wechat
bug