張荷花
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，已結題 （參與）
