导航

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

杜德慧

相关教师

个人资料

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

教育经历

工作经历

个人简介

社会兼职

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

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

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

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



研究方向

  1. 可信人工智能、人工智能系统的正确性、安全性建模与验证

  2. 模型驱动及数据驱动式智能系统的建模、设计、开发

  3. 安全攸关信息物理融合系统的建模及验证

  4. 信息物理融合系统建模、验证方法及技术（自动驾驶、轨道交通控制等高安全系统）

  5. 智能教育（基于深度神经网络的推荐学习、学习行为挖掘、建模、学习者的用户画像等）

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

  7. 【招贤纳士】课题组常年招收博士后、博士、硕士研究生，要求具有良好的英语基础、较强的编程实践经验、扎实的数学功底、做事情认真负责。

【博士生】欢迎优秀的应届毕业硕士生攻读博士学位，要求具有较强的形式化方法、机器学习等研究背景。请将简历直接发送邮箱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. 中汽数据


学术成果

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

代表论文主要有：

(1) DeHui Du ; Ana Cavalcanti ; Jihui Nie ; RobSimVer: A Tool for RoboSim Modeling and Analysis, ASE2022, 美国, 2022-10-10至2022-10-14    (CCF-A)

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

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

(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 and Refining Stochastic Behaviors of CPSs with    Probabilistic Logical Clocks, FACS国际会议, 最佳论文奖, 其他, 2016      (科研奖励)


专利申请：

1. 嵌入式系统软件的模型驱动与构件化开发方法，专利申请号：200610124600.4
2. 一种基于性质规约模式生成LTL公式的UML模型检测系统和方法，专利申请号：200910047164.9，
3. 一种验证UML模型中动态行为与时序契约的一致性的方法，专利申请号：20091047165.3
   获软件著作权7项；


荣誉及奖励