可验证、高效率的图神经网络安全训练方法研究

可信人工智能系统，人工智能系统的正确性、安全性建模与验证

人机物融合系统的不确定性建模与动态验证

2009.09 - 2013.07           华东师范大学 软件工程学院               本科

2016.10 - 2018.04           法国国家信息与自动化研究所INRIA        联合培养       导师：Robert de Simone

2013.09 - 2020.07           华东师范大学 软件工程学院                博士         导师：刘静

2020.07 - 至今              上海师范大学  信息与机电工程学院         讲师

主要成果

[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[J].Neurocomputing, vol. 630, pp. 129704, 2025. (SCI, 中科院二区, TOP期刊)

[2] 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, (ICFEM 2024),pp. 146-161, 2024. (CCF-C)

[3] Dongdong An, Yi Yang, Wenyan Liu, Qin Zhao, Jing Liu, Hongda Qi, and Jie Lian; A Secure GNN Training Framework for Partially Observable Graph[J]. Electronics. 2024; 13(14):2721.(SCI)

[4] 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[J].Mathematics 2024,12, 1991.(SCI)

[5] 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[J]. IEEE Access, 2023, Volume 11, 44660-44671pp. ISSN 2169-3536. DOI:10.1109/ACCESS.2023.3272672 (SCI）

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

[7] 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, 2020, 167: 110617 (期刊论文) (JCR一区，SCI二区，CCF-B)

[8] Dongdong An,Jing Liu , An Approach to Modeling and Analyzing Human-Centric Systems and Its Application, International Journal of Cooperative Information Systems, 2018, 27(1): 1-21 (SCI)

[9] 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, 2019-10 (会议论文) (EI)

科研项目

[1] 国家自然科学基金(青年)，可验证、高效率的图神经网络安全训练方法研究，62302308，在研，主持

[2] 上海市“科技创新行动计划”启明星项目（扬帆专项），不确定环境下人机物融合系统的形式化建模与验证方法研究，

    21YF1432900，在研，主持

[3] 国家可信嵌入式软件工程技术研究中心，基于线性近似的图卷积网络鲁棒性验证方法研究，在研，主持

[4] 上海高校青年教师培养资助计划项目:人工智能导论课程思政教育实践（市级），在研，主持

[5] 上海师范大学校级一般科研项目:不确定环境下无人驾驶系统的建模与验证方法研究，在研，主持

[6] 国家自然科学基金委员会(面上)，社交网络中集体无意识群体智能的引力场形成机理及演化动力研究，62372300，

    在研，参与

[7] 国家自然科学基金(面上)，信息物理系统时空建模与验证关键问题研究，61972160，参与（已结题）

[8] 国家自然科学基金(面上)，时空统一建模、精化和验证方法研究，61572195，参与（已结题）

[9] 国家留学基金委项目，法国国家信息与自动化研究所，概率时钟约束研究 参与

[10] 校企合作项目，富欣智能交通控制有限公司，轨道交通系统运控系统定位技术验证及研究 参与

专利和软著

[1] 基于图修改技术的图隐私数据保护及提升图效用的方法 专利号：202410278189.4

[2] 一种基于安全策略的图节点分类方法 专利号：202410285053.6

[3] stohMCharts建模及模型转换软件  V1.0 登记号：2024SR0324190

指导学生

在读研究生：

潘宗旭（研三） SCI论文两篇、专利一项。获得一等奖学金。

杨  毅（研二） SCI论文两篇，其中一篇SCI二区top，专利一项。获得国家奖学金、一等奖学金。

张  昊（研二） ICFEM2024(CCF-C类)会议一篇,专利一项。

鲍颉之（研一）

张  讯（研一）

已毕业研究生：

高  昕 SCI一篇，上师大学报一篇，软著一项。

主要开设课程

• 数字图像处理（双语课程）

• 数据处理与可视化 

• IT科技文献检索与写作 

行政工作

行政助理 2023年-2025年