导航

  • 个人资料
  • 个人概况
  • 研究方向
  • 招生与培养
  • 开授课程
  • 科研项目
  • 学术成果
  • 荣誉及奖励
头像

杜德慧

相关教师

个人资料

  • 部门： 软件工程学院
  • 性别： 女
  • 专业技术职务： 教授博导
  • 毕业院校：
  • 学位： 工学博士
  • 学历： 博士研究生
  • 联系电话：
  • 电子邮箱： dhdu@sei.ecnu.edu.cn
  • 办公地址：
  • 通讯地址： North Zhongshan Road3663,Science building b1109
  • 邮编： 200062
  • 传真：

教育经历

工作经历

个人简介

社会兼职

  1. 上海霄元创新中心双聘教授

  2. 中国计算机协会软件工程专委委员/形式化方法专委委员

  3. 中国汽车工程学会会员

  4. 上海市计算机协会形式化方法专委委员、上海市协同计算专委委员 

  5. 美国IEEE，ACM工程协会会员

  6. 计算机学报、软件学报、JCST期刊，JSS等国际会议、期刊审稿人



研究方向

  1. 可信人工智能、人工智能系统的安全性、可解释性、泛化性

  2. 智能系统的设计及开发（例如，面向**的智能运维智能体、膝盖软骨分割智能体）

  3. 高安全智能工业软件系统的建模、设计、开发

  4. 汽车自动驾驶、轨道交通控制系统、具身智能机器人、机械臂的软件研发、智慧医疗等高安全系统的设计、建模及验证

  5. 面向高安全领域的场景建模、场景生成、仿真及测试相关理论、关键技术及工具研发

  6. 人工智能专硕导师（信息学部）

  7. 招收低空经济联合培养研究生，研究方向面向低空经济的飞行保障气象、航图及可信飞控系统

【招贤纳士】课题组常年招收博士后、博士、直博生、硕士研究生，要求具有很强的责任心、做事踏实认真，较强的编程实践能力、团队合作能力、扎实的数学功底、学习的内驱力强。

【博士生】欢迎优秀的应届毕业硕士生攻读博士学位，要求具有较强的人工智能、软件工程的研究背景，科研能力强，能够独立领导研究生团队开展科研工作。欢迎以直博、保研、硕博连读、夏令营等各种形式加入我们的团队。

请将简历直接发送到邮箱dhdu@sei.ecnu.edu.cn，并抄送至52285902008@stu.ecnu.edu.cn

欢迎您加入我们的团队，您将得到全方位的发展，从最新的可信人工智能、可信软件开发理论、技术到面向国家重大需求行业的企业实践项目（航天航天、轨道交通、智慧医疗等高安全无人控制系统），在学习理论知识的同时提高自己的综合能力。此外，您将获得较多的出国交流学习机会，拓展国际视野。我们的理念是“快乐研究，快乐生活”！加入我们，共同挑战前沿技术，推动智能时代的变革与进步！

招生与培养

研究方向主要聚焦人工智能系统的可信、安全，无人自主可控系统的感知、规控、决策及无人系统的集群博弈，重点解决此类应用系统的安全可信软件设计、建模、仿真等问题。研究最新的智能体软件建模及验证方法，构建安全、可信的人工智能系统，相关成果应用于具身智能机器人、机械臂、无人机、卫星、轨道交通控制系统、汽车自动驾驶、智慧医疗等领域。


招收各种类型的研究生（专硕、临港班、大飞机专硕等各类研究生）、博士生、非全研究生，请将个人简历及成绩单直接发送到邮箱dhdu@sei.ecnu.edu.cn，并抄送到52285902008@stu.ecnu.edu.cn。

“十年树木，百年树人”，祝各位同学学有所成！

【博士生】招收生软件工程专业博士生，请提前3个月发送简历，我们可以提早为您提供科研平台，感受不一样的团队文化。

开授课程

《操作系统》《操作系统实践》《软件工程》

《UML及形式化建模》《模型驱动式智能系统开发》

《软件工程与过程》《可信软件开发》《智能系统的软件架构》


科研项目

主持项目：

  1. 上海霄元创新中心项目：面向具身智能的软件架构

  2. 卡斯柯信号有限公司揭榜挂帅项目：基于可解释AI的轨交结构化数据生成

  3. 国家自然科学基金面上项目：时空数据驱动的安全攸关信息物理融合系统建模及验证方法研究；

  4. 国家自然科学基金面上项目：信息物理融合系统的随机行为建模及验证方法研究；

  5. 家自然科学基金青年基金：服务构件安全协同建模与验证方法研究； 

  6. 上海市自然科学基金：基于统计模型检测的信息物理融合系统的验证方法研究；

  7. 软件工程国家重点实验室开放基金：基于契约的可信服务构件建模与验证方法的研究；

  8.  华东师范大学科研创新基金：基于MARTE的实时系统建模与验证方法研究

 参与项目：
1 金砖国家合作项目“时空数据驱动的高可信关键技术及应用研究”

2. 国家自然科学基金重大研究计划培育项目：模型驱动式可信软件构造方法的研究 

3. 国家重点基础研究发展计划973项目：主体化、服务化的网构软件模型、方法及可信保障 
4. 国家高技术研究发展计划863项目：模型驱动式高可信软件开发技术 
5. 中法合作项目：模型驱动式 UML/MARTE 模型形式验证方法 
6. 基金委重大国际合作项目 中丹国际合作项目：IDEA4CPS

合作企业项目：

1. 上海飞机设计研究院

2. 上海证券交易所

3. 华为

4. 国汽智控

5. 上海外汇交易所

6. 上海霄元创新中心

7. 上海交大医学院附属瑞金医院



学术成果

最新详细论文列表 https://dblp.uni-trier.de/pers/hd/d/Du:Dehui

代表论文主要有：

(1) , , , , , :
ERCI: An Explainable Experience Replay Approach with Causal Inference for Deep Reinforcement Learning. AAAI : 27671-27679

DeHui Du ; Ana Cavalcanti ; Jihui Nie ; RobSimVer: AToolforRoboSimModelingand

Analysis, ASE2022, 美国, 2022-10-10至2022-10-14   

(2) 陈洁娜; 张铭茁; 杜德慧 ; 基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策方法, 软件学报, 2022  

(3) DehuiDu ; PingHuang ; KaiqiangJiang ; FrédéricMallet ;pCSSL: A stochastic extension to MARTE/CCSLformodelinguncertaintyin Cyber Physical Systems, Sci.Comput.Program, 2018, 166: 71-88    

(4) Du, Dehui ; Chen, Jiena ; Zhang, Mingzhuo ; Ma, Mingjun ; Towards Verified Safety-critical AutonomousDrivingScenariowithADSML,45thAnualInternationalIEEE-Computer-Society

Computers,Software,andAplicationsConference(COMPSAC), Spain, 2021-7-12至2021-7-16 

(5) Bai, Xin ; Xu, Chenghao ; Ao, Yi ;Chen, Biao ; Du, Dehui ; Learning-based probabilistic


modeling and verifying driver behavior using MDP, 13thInternationalSymposiumonTheoretical

AspectsofSoftwareEnginering,TASE2019, 中国广西壮族自治区桂林市, 2019-7-29至2019-7- 31      

专利及软著：

(1) 郭童; 杜德慧; 张铭茁 ; 一种基于信号时态逻辑在线监测器的统计模型检测方法, 2020-4-21, 中国, CN202010317144.5      (专利)

(2) 杜德慧; 张铭茁; 张梦寒; 张馨元 ; 一种面向RoboSim模型实时系统的模型检测方法, 2020-12-14,

中国, CN202011464926.8      (专利)

(3) 王耀; 杜德慧; 张铭茁; 马明俊; 张梦寒 ; 一种基于领域特定建模语言ADSML的汽车自动驾驶场景建

模方法, 2020-12-23, 中国, CN202011533463.6      (专利)

(4) 杜德慧; 张梦寒; 张铭茁; 张雷 ; 一种时空轨迹数据驱动的自动驾驶安全场景元建模方法, 2020-12-

31, 中国, CN202011637674.4      (专利)

(5) 杜德慧; 姜凯强; 敖奕; 管春琳 ; 基于抽象和学习的统计模型验证器, 2017SR420485,原始取得, 全

部权利, 2017-01-01      (软件著作权)

(6) 杜德慧; 白新 ; MDP模型生成器软件, 2018SR692983, 原始取得, 全部权利, 2017-5-10      (软件

著作权)

(7) 杜德慧; 张梦寒 ; 基于NSHA辅助驾驶场景的验证模型自动生成器软件, 2020sr0678086, 原始取得,

全部权利, 2020-3-22      (软件著作权)

(8) 杜德慧; 季永豪 ; 基于层级聚类的马尔可夫链模型生成软件, 2020SR1018842, 原始取得,全部权利, 2020-6-24      (软件著作权)

(9) 杜德慧(1/5); Modana2.0：面向CPS系统的建模与验证平台, 第十六届全国软件与应用学术会议, 其

他, 其他, 2017(杜德慧; 敖奕; 管春琳; 白新; 姜凯强)      (科研奖励)

(10) Dehui Du (1/4) ; MARTE/pCCSL: Modeling andRefiningStochasticBehaviorsofCPSswith     ProbabilisticLogicalClocks, FACS国际会议, 最佳论文奖, 其他, 2016(DehuiDu; PingHuang; Kaiqiang Jiang; FrédéricMallet)      (科研奖励)


荣誉及奖励

《轨道交通全自动运控系统核心组》荣获2026年上海市科技进步二等奖。