一、个人简介：
陈宁宁，女，汉族，1995年7月出生，讲师，硕导
二、主要学习与工作经历
2018/09 – 2023/12：华东师范大学，软件工程，工程博士
2024/01 – 至今：上海理工大学，光电信息与计算机工程学院，讲师
三、主要科研工作与成绩
长期从事形式化建模与验证分析、可信软件设计理论等领域的研究，并以第一作者身份在 CCF 推荐的软件工程与形式化方法相关国际期刊和会议上发表多篇论文。未来，将进一步拓展可信人工智能、量子计算、智能物联网与形式化方法的交叉研究。
主持国家自然科学基金青年项目、国家可信嵌入式软件工程技术研究中心纵向项目等科研课题。
四、主要社会学术团体兼职
中国计算机学会（CCF）会员
中国计算机学会形式化方法专委会委员
上海市人工智能学会会员
五、主要研究方向
可信软件
形式化建模与分析
可信人工智能
量子计算与形式化方法
智能物联网
六、联系方式
办公室：光电楼 1113 室
邮箱：nnchen@usst.edu.cn