个人简介
李冉，讲师，硕士生导师，CCF形式化方法专委会执行委员。2018年6月获华东师范大学软件工程专业学士学位，2023年6月获华东师范大学软件工程专业博士学位（导师：朱惠彪教授）。目前主要研究方向为可信人工智能、软件建模与验证、信息物理融合系统等。近年来，在国际刊物和会议上发表学术论文10余篇，主持江苏省教育厅项目1项，重点实验室开放基金项目2项，参与国家自然科学基金项目多项。
欢迎对智能可信软件感兴趣的同学（本科/硕士）联系我！
教育经历
[1] 2018.9- 2023.6
华东师范大学 | 软件工程 | 工学博士 | 博士
[2] 2014.9- 2018.6
华东师范大学 | 软件工程 | 工学学士 | 本科
工作经历
[1] 2023.6- 至今
南京信息工程大学
|
软件学院
社会兼职
- 暂无内容
研究方向
其他联系方式
团队成员
暂无内容