安冬冬教师主页

安冬冬 (5) 基本信息 性别：女 聘任技术职务：讲师（高校） 学历：博士研究生毕业 联系电话：13761857443 电子邮箱：andongdong@shnu.edu.cn 通讯地址： 部门：信息与机电工程学院 学位：工学博士学位 毕业院校：华东师范大学 办公地址：上海奉贤区海思路100号 研究方向 可验证、高效率的图神经网络安全训练方法研究可信人工智能系统，人工智能系统的正确性、安全性建模与验证人机物融合系统的不确定性建模与动态验证教育及工作背景2009.09–2013.07             华东师范大学 软件工程学院              本科2016.10-2018.04            法国国家信息与自动化研究所INRIA  联合培养       导师：Robert de Simone2013.09–2020.07             华东师范大学 软件工程学院              博士             导师：刘静2020.07-至今                   上海师范大学  信息与机电工程学院   讲师主要成果[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[J]. IEEE Access, 2023, Volume 11, 44660-44671pp. ISSN 2169-3536. DOI:10.1109/ACCESS.2023.3272672 (SCI）[2] 安冬冬; 刘静; 陈小红; 孙海英 ; 不确定环境下hCPS系统的形式化建模与动态验证, 软件学报, 2021, 32(7) (期刊论文) (中文CCF-A)[3] 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)[4] 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)[5] 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)[6] Tengfei Li, Jing Liu*, Dongdong An, Haiying Sun. A sound and complete axiomatisation for spatio-temporal specification language[C] The 31st International Conference on Software Engineering & Knowledge Engineering. 153-204. (EI，CCF-C)科研项目[1] 国家自然科学基金(青年)，可验证、高效率的图神经网络安全训练方法研究，62302308，在研，主持[2] 上海市“科技创新行动计划”启明星项目（扬帆专项），不确定环境下人机物融合系统的形式化建模与验证方法研究，    21YF1432900，在研，主持[3] 上海高校青年教师培养资助计划项目:人工智能导论课程思政教育实践（市级），在研，主持[4] 上海师范大学校级一般科研项目:不确定环境下无人驾驶系统的建模与验证方法研究，在研，主持[5] 国家自然科学基金委员会(面上)，社交网络中集体无意识群体智能的引力场形成机理及演化动力研究，62372300，    在研，参与[6] 国家自然科学基金(面上)，信息物理系统时空建模与验证关键问题研究，61972160，参与（已结题）[7] 国家自然科学基金(面上)，时空统一建模、精化和验证方法研究，61572195，参与（已结题）[8] 国家留学基金委项目，法国国家信息与自动化研究所，概率时钟约束研究 参与[9] 校企合作项目，富欣智能交通控制有限公司，轨道交通系统运控系统定位技术验证及研究 参与指导学生研究生：高昕 潘宗旭 杨毅 张昊主要开设课程python数据处理与可视化 IT科技文献检索与写作 数字图像处理行政工作行政助理 2023年 学术成果（以下信息源于科研管理系统） 教学工作 教职工课程信息开课学年开课学期课程名称2021-20221IT科技文献检索与写作2022-20232数字图像处理2022-20231数据处理与可视化 荣誉奖励 社会兼职