软件工程学院

个人资料

部门：软件工程学院
性别：女
专业技术职务：教授博导
毕业院校：
学位：工学博士
学历：博士研究生

联系电话：
电子邮箱： dhdu@sei.ecnu.edu.cn
办公地址：理科大楼B1109
通讯地址： North Zhongshan Road3663,Science building b1109
邮编： 200062
传真：

教育经历

工作经历

个人简介

社会兼职

中国计算机协会软件工程专委委员/形式化方法专委委员
中国汽车工程学会会员
上海市计算机协会形式化方法专委委员、上海市协同计算专委委员
美国IEEE，ACM工程协会会员
计算机学报、软件学报、JCST期刊，JSS等国际会议、期刊审稿人

研究方向

可信人工智能、人工智能系统的正确性、安全性、可解释性
高安全智能人机物融合系统的建模、设计、开发
汽车自动驾驶、轨道交通控制系统、机器人等高安全系统的设计、建模及验证
自动驾驶场景建模、场景生成、仿真及测试相关理论、关键技术及工具研发
人工智能专硕导师（信息学部）
招收低空经济联合培养研究生，研究方向面向低空经济的飞行保障气象、航图及可信飞控系统

【招贤纳士】课题组常年招收博士后、博士、硕士研究生，要求具有良好的英语基础、较强的编程实践能力、扎实的数学功底、责任心强、学习的内驱力强。

【博士生】欢迎优秀的应届毕业硕士生攻读博士学位，要求具有较强的机器学习、软件工程的研究背景。欢迎以直博、保研、硕博连读、夏令营等各种形式加入我们的团队。

请将简历直接发送邮箱dhdu@sei.ecnu.edu.cn

加入我们，共同研究前沿技术，推动智能时代的变革与进步！

欢迎各位您加入我们的团队，您将得到全方位的发展，从最新的可信人工智能、可信软件开发理论、技术、如果智能机大模型到国家重大需求行业的企业实践项目，在学习理论知识的同时提高自己的综合能力。此外，您将获得较多的出国交流学习的机会，拓展国际视野。我们的理念是“快乐研究，快乐生活”！

招生与培养

我们的研究方向主要聚焦人工智能系统的可信、安全，研究最新的软件建模及验证方法，构建高安全的人工智能系统，研究成果应用于机器人、无人机、轨道交通控制系统、汽车自动驾驶等领域。

招收各种类型的研究生、博士生、非全研究生，请将个人简历及成绩单直接发送到邮箱dhdu@sei.ecnu.edu.cn。“十年树木，百年树人”，祝各位同学学有所成！

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

开授课程

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

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

《软件工程与过程》《可信软件开发》《软件架构》

科研项目

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

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

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

4. 上海市自然科学基金：基于统计模型检测的信息物理融合系统的验证方法研究；
5. 软件工程国家重点实验室开放基金：基于契约的可信服务构件建模与验证方法的研究；
6. 华东师范大学科研创新基金：基于MARTE的实时系统建模与验证方法研究
参与项目：
1. 金砖国家合作项目“时空数据驱动的高可信关键技术及应用研究”

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

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

企业联合项目：

1. 中汇

2. 上海证券交易所

3. 华为

4. 国汽智控

5. 上海外汇交易所

自动驾驶领域的标准化相关工作：

与全国汽车标准化技术委员会智能网联汽车分技术委员会（SAC/TC114/SC34），车用人工智能标准专项组围绕车用AI安全、车用AI伦理等相关标准化内容，开展车用AI技术标准化预研、子标准体系研究、相关标准研制项目推进及国际标准法规协调等。

学术成果

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

代表论文主要有：

(1) 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) (科研奖励)

教师个人主页

导航

杜德慧

相关教师