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