中智物联工程技术研究院-SIOTCHINA
China (Beijing) academy of Smart Internet of Things Engineering Technology

张荷花

2019-06-26 12:14:58
Image title
    姓名:张荷花    职务:  副研究员    讲授课程:领域特定语言设计(研究生)
教育背景
      2004.9 – 2010.1  博士,清华大学计算机科学与技术系
      2001.9 – 2004.7  硕士,吉林大学计算机科学与技术系
      1997.9 – 2001.7  学士,吉林大学计算机科学与技术系

工作履历
      2010.4 – 2011.3  博士后,法国国家信息与自动化研究院(INRIA)
      2011.8 至今 清华大学软件学院任教

研究领域
      领域特定语言
      工程领域模型规范检查
      嵌入式软件及系统建模

研究概况
      国家标准“面向领域的信息共享服务:第一部分 领域信息模型框架”(国家标准项目编号20153380-T-469),国家信标委,2016.1-2017.6(参加)
      国家标准“面向领域的信息共享服务:第二部分 领域信息服务接口”(国家标准项目编号20151555-T-469),国家信标委,2016.1-2017.6(参加)
      国家标准“面向领域的信息共享服务:第三部分 测试规范”(国家标准项目编号20151545-T-469),国家信标委,2016.1-2017.6  (参加)
      清华大学国家实验室面上项目:基于领域知识的BIM模型语义检查研究 2016.1-2016.12 ,已结题(参加)
      清华大学自主科研项目:同步异步特征融合的嵌入式系统建模方法研究 2014.1 – 2016.12,已结题(主持)
      NSFC青年项目:嵌入式系统构件模型的领域语义检查方法研究 2013.1 -2015.12 ,已结题(主持)
      NSFC重大项目:可信嵌入式软件系统试验环境与示范应用 2013.1-2016.12 ,已结题(参与)
      国家科技支撑计划项目:可信嵌入式软件系统建模验证平台研发 2012.9 – 2014.9,已结题 (参与)
      973项目:产品设计软件系统的部件级可验证性理论研究 2010.1-2015.12  ,已结题 (参与)
      NSFC面上项目:面向领域的可信嵌入式软件系统试验验证环境研究 2011.01—2011.12,已结题 (参与)
      NSFC重点项目:基于定理证明的可信嵌入式软件建模与验证平台研究2008.01-2010.12,已结题 (参与)