张荷花
2019-06-26 12:14:58
姓名：张荷花 职务： 副研究员 讲授课程：领域特定语言设计（研究生）
教育背景
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，已结题 （参与）
教育背景
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，已结题 （参与）
