| 研究方向： 软件的形式化建模与验证 人机物融合系统的不确定性建模与动态验证 统计模型检测技术、概率模型检测技术 可信人工智能系统，人工智能系统的正确性、安全性建模与验证 教育及工作背景 2009.09–2013.07 华东师范大学 软件工程学院 本科 2016.10-2018.04 法国国家信息与自动化研究所INRIA 联合培养 导师：Robert de Simone 2013.09–2020.07 华东师范大学 软件工程学院 博士 导师：刘静 2020.07-至今 上海师范大学 信息与机电工程学院 讲师 主要成果 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 三区） 安冬冬,刘静*,陈小红,孙海英.不确定环境下hCPS系统的形式化建模与动态验证.软件学报. （中文CCF-A） 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[J]. Journal of Systems and Software, 2020, 167:110617.(JCR Q1，SCI二区，CCF-B) Dongdong An, Jing Liu*. An Approach to Modeling and Analyzing Human-Centric Systems and Its Application[J]. International Journal of Cooperative Information Systems, 2018, 27(01): 1741005. (SCI，CCF-C) 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[C]. international conference on formal engineering methods, 2019: 522-525. (EI) 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) 科研项目 上海市科技英才杨帆计划（21YF1432900）“不确定环境下人机物融合系统的形式化建模与验证方法研究”2021.5。1-2024.4.30 省部级 主持 国家留学基金委项目，法国国家信息与自动化研究所，概率时钟约束研究 参与 校企合作项目，富欣智能交通控制有限公司，轨道交通系统运控系统定位技术验证及研究 参与 |
（以下信息源于科研管理系统）
| 学术成果： |
教学工作：
|
|||||||||
| 荣誉奖励： 2016年获得国家留学基金委公派留学奖学金 |
| 社会兼职： |