安冬冬
An Dongdong

个人简介

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

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

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

主要成果

代表性论文

• Reinforcement learning-based secure training for adversarial defense in graph neural networks
  Dongdong An, Yi Yang, Xin Gao, Hongda Qi, Yang Yang, Xin Ye, Maozhen Li, Qin Zhao
  Neurocomputing, vol. 630, pp. 129704, 2025 (SCI, 中科院二区, TOP期刊)
• Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation
  Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu and Shengchao Qin
  International Conference on Formal Engineering Methods (ICFEM 2024), pp. 146-161, 2024 (CCF-C)
• A Secure GNN Training Framework for Partially Observable Graph
  Dongdong An, Yi Yang, Wenyan Liu, Qin Zhao, Jing Liu, Hongda Qi, and Jie Lian
  Electronics, vol. 13, no. 14, pp. 2721, 2024 (SCI)
• Unsupervised Graph Structure Learning Based on Optimal Graph Topology Modeling and Adaptive Data Augmentation
  Dongdong An, Zongxu Pan, Qin Zhao, Wenyan Liu, and Jing Liu
  Mathematics, vol. 12, no. 13, pp. 1991, 2024 (SCI)
• stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems
  Dongdong An, Zongxu Pan, Xin Gao, Shuang Li, Ling Yin, Tengfei Li
  IEEE Access, vol. 11, pp. 44660-44671, 2023 (SCI)
• 不确定环境下hCPS系统的形式化建模与动态验证
  安冬冬; 刘静; 陈小红; 孙海英
  软件学报, vol. 32, no. 7, 2021 (中文CCF-A)
• Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach
  Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun
  Journal of Systems and Software, vol. 167, pp. 110617, 2020 (JCR一区，SCI二区，CCF-B)
• An Approach to Modeling and Analyzing Human-Centric Systems and Its Application
  Dongdong An, Jing Liu
  International Journal of Cooperative Information Systems, vol. 27, no. 1, pp. 1-21, 2018 (SCI)
• A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning
  Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin
  International Conference on Formal Engineering Methods (ICFEM 2019), 2019 (EI)

科研项目

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

专利和软著

• 基于图修改技术的图隐私数据保护及提升图效用的方法，专利号：202410278189.4
• 一种基于安全策略的图节点分类方法，专利号：202410285053.6
• stohMCharts建模及模型转换软件 V1.0，登记号：2024SR0324190