Zhen DongFudan University

About

Research background, academic experience, and contact information.

Zhen Dong is an Associate Professor and PhD Supervisor at Fudan University. His research in program analysis and software testing addresses the reliability of mobile applications and robotic software. Representative work includes time-travel testing of Android apps and PID parameter specification inference for flight-control programs, which received ACM SIGSOFT Distinguished Paper Awards at ICSE 2020 and ISSTA 2025, respectively.

His current focus is trustworthy AI-enabled systems: robustness and task-level authorization for mobile GUI agents, and execution reliability for vision-language-action (VLA) models. He combines analysis and testing with learning-based methods, including targeted post-training, to study and improve agent reliability.

He received his PhD from Heidelberg University and was previously a Senior Research Fellow at the National University of Singapore. He serves on the editorial boards of Automated Software Engineering and the Journal of Software: Evolution and Process, and on program committees for ICSE, FSE, ASE, and ISSTA.

中文简介

董震，海德堡大学博士，复旦大学计算与智能创新学院副教授、博导，CCF中国计算机学会智能机器人专业委员会执行委员、CCF中国计算机学会软件工程专业委员会执行委员。 主持国家自然基金委面上基金、国家重点研发子课题，参与国家科技创新2030“新一代人工智能”重大项目课题，并参与完成多个国际合作项目（合作方包括卡巴斯基公司、新加坡电信公司等）。 长期研究程序分析与软件测试，代表性工作包括移动应用的时间旅行测试与飞行控制程序的PID参数规约推断。 当前聚焦可信人工智能赋能系统，重点研究移动GUI智能体的鲁棒性与任务级授权，以及视觉—语言—动作（VLA）模型的执行可靠性，结合分析、测试与针对性后训练等方法提升智能体可靠性。 在软件工程与人工智能领域ICSE、FSE、ASE、ISSTA、NeurIPS、IJCAI、FM等国际会议发表40余篇学术论文，并获得ICSE'20杰出论文、ISSTA‘25杰出论文、ISSTA‘26等多个奖项。 同时，担任软件工程领域旗舰期刊《Automated Software Engineering》、《Journal of Software:Evolution and Process》编委，国际会议ICSE、FSE、ASE、ISSTA等程序委员，并获得ASE‘22杰出评审、TOSEM杰出评审等荣誉称号。

Research Funding 科研项目

Recent Research Grants 近期纵向科研项目

Recent Industry Collaborations 近期企业合作项目

Awards & Honors

Paper awards recognise the cited work and its coauthors.