一、个人简介：
归属学科：计算机科学与技术
陈宁宁，女，汉族，1995年7月出生，硕导（计算机科学与技术）
二、主要学习与工作经历
2023年12月，毕业于华东师范大学，获得博士学位。
2024年1月至今，进入上海理工大学计算机工程系任教。
三、主要科研工作与成绩
长期从事形式化建模与验证分析、可信软件设计理论等领域的研究，并以一作在国际知名期刊和会议上发表十多篇论文。未来，将进一步拓展可信人工智能、量子计算、智能物联网与形式化方法的交叉研究。
主持国家自然科学基金青年项目（2025年）、国家可信嵌入式软件工程技术研究中心纵向项目（2024年）等科研课题。
谷歌个人学术档案：https://scholar.google.com.hk/citations?hl=zh-CN
四、主要社会学术团体兼职
中国计算机学会（CCF）会员
中国计算机学会形式化方法专委会委员
上海市人工智能学会可信智能系统专委会会员
五、主要研究方向
1.可信软件
2.形式化建模与分析
3.可信人工智能
4.量子计算与形式化方法
5.智能物联网
六、联系方式
办公室：光电楼 1113 室
邮箱：nnchen@usst.edu.cn