安冬冬
Dongdong An

安冬冬，女，博士，副教授，硕士生导师，智能社会与科学计算科研团队成员。2020 年 7 月毕业于华东师范大学软件学院教育部可信软件国际联合实验室团队，获工学博士学位（本科直博）。博士期间，曾赴法国国家信息与自动化研究所 INRIA KAIOS 研究组进行博士联培。同年进入上海师范大学信机学院计算机系任教。

长期从事可信人工智能系统、具身智能系统安全性等方面的科研工作。主持国家自然科学基金青年项目 1 项，上海市青年科技英才扬帆人才计划 1 项，主持国家重点实验室开放课题 1 项，上海市教委项目 1 项，青年培育项目 1 项，以技术骨干完成国家重点研发计划、国家自然科学基金等多个项目。

在国内外权威期刊/会议上发表高水平论文 10 余篇，其中中文 CCF-A 论文 1 篇，一作论文 9 篇，申请发明专利 3 项，软著 1 项。

1. 国家自然科学基金(青年)，可验证、高效率的图神经网络安全训练方法研究，62302308，在研，主持
2. 上海市"科技创新行动计划"启明星项目（扬帆专项），不确定环境下人机物融合系统的形式化建模与验证方法研究，21YF1432900，结题，主持
3. 国家可信嵌入式软件工程技术研究中心，基于线性近似的图卷积网络鲁棒性验证方法研究，在研，主持
4. 上海高校青年教师培养资助计划项目:人工智能导论课程思政教育实践（市级），在研，主持
5. 上海师范大学校级一般科研项目:不确定环境下无人驾驶系统的建模与验证方法研究，在研，主持
6. 国家自然科学基金委员会(面上)，社交网络中集体无意识群体智能的引力场形成机理及演化动力研究，62372300，在研，参与
7. 国家自然科学基金(面上)，信息物理系统时空建模与验证关键问题研究，61972160，参与（已结题）
8. 国家自然科学基金(面上)，时空统一建模、精化和验证方法研究，61572195，参与（已结题）
9. 国家留学基金委项目，法国国家信息与自动化研究所，概率时钟约束研究 参与
10. 校企合作项目，富欣智能交通控制有限公司，轨道交通系统运控系统定位技术验证及研究 参与

代表性论文：

2025年：

1. Dongdong An, Yi Yang, Xin Gao, Hongda Qi, Yang Yang, Xin Ye, Maozhen Li, Qin Zhao, "Reinforcement learning-based secure training for adversarial defense in graph neural networks," Neurocomputing, vol. 630, pp. 129704, 2025 (SCI, 中科院二区, TOP期刊)

2024年：

1. Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu and Shengchao Qin, "Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation," International Conference on Formal Engineering Methods (ICFEM 2024), pp. 146-161, 2024 (CCF-C)
2. Dongdong An, Yi Yang, Wenyan Liu, Qin Zhao, Jing Liu, Hongda Qi, and Jie Lian, "A Secure GNN Training Framework for Partially Observable Graph," Electronics, vol. 13, no. 14, pp. 2721, 2024 (SCI)
3. Dongdong An, Zongxu Pan, Qin Zhao, Wenyan Liu, and Jing Liu, "Unsupervised Graph Structure Learning Based on Optimal Graph Topology Modeling and Adaptive Data Augmentation," Mathematics, vol. 12, no. 13, pp. 1991, 2024 (SCI)

2023年：

1. Dongdong An, Zongxu Pan, Xin Gao, Shuang Li, Ling Yin, Tengfei Li, "stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems," IEEE Access, vol. 11, pp. 44660-44671, 2023 (SCI)

2021年：

1. 安冬冬; 刘静; 陈小红; 孙海英, "不确定环境下hCPS系统的形式化建模与动态验证," 软件学报, vol. 32, no. 7, 2021 (中文CCF-A)

2020年：

1. Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun, "Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach," Journal of Systems and Software, vol. 167, pp. 110617, 2020 (JCR一区，SCI二区，CCF-B)

2019年：

1. Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin, "A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning," International Conference on Formal Engineering Methods (ICFEM 2019), 2019 (EI)

2018年：

1. Dongdong An, Jing Liu, "An Approach to Modeling and Analyzing Human-Centric Systems and Its Application," International Journal of Cooperative Information Systems, vol. 27, no. 1, pp. 1-21, 2018 (SCI)