-
趙建華
(南京大學教師)
鎖定
- 中文名
- 趙建華
- 國 籍
- 中國
- 民 族
- 漢
- 主要成就
- 1999年4月進入南京大學計算機系從事教學科研工作
- 職 稱
- 南京大學教授
趙建華人物經歷
1.1989年9月,進入南京大學計算機系本科學習,1993年獲理學學士(計算機軟件)學位。
2.1993年9月,進入南京大學計算機系研究生學習, 1996年獲工學碩士(計算機軟件與理論)學位。
3.1996年3月,於南京大學計算機系攻讀博士學位,師從鄭國樑教授, 1999年5月獲工學博士學位。
4.攻讀博士期間, 1997年9月至 1998年10月在澳門聯合國大學國際軟件技術研究所 (UNU/IIST)學習和研究工作。
5.1999年4月進入南京大學計算機系從事教學科研工作。
趙建華研究方向
形式化方法(主要包括模型檢驗(Model checking),數據精化技術),軟件工程,程序設計語言。
趙建華主要貢獻
1.併發實時系統的自動驗證,軟件學報,1999年2月,趙建華,鄭國樑,Dang Van Hung
2. Message Conversion and A New Type System for OO-Model, SIGPLAN Notices 32(9):P61-67 (1997) Zhao Jianhua , Chen Jiajun,Zheng Guoliang
3.C十十的一種併發擴充方案,軟件學報,第9卷第8期,1998年8月。陳家駿,趙建華,鄭國樑。
4.Hybird Regular Expressions. Lin Proceedings of the First International Workshop on Hybrid Systems: Computation and Control("HSCC"98), Springer,Berkeley, California,1998.Li Xuandong,Zheng Tao,Hou jianmin,Zhao Jianhua,Zheng Guoliang.
5.On Checking Parallel Real-time Systems for Linear Duration Properties,In Proceedings of 5th International Symposium."FTRTFT"98,Lyngby,Denmark,September 1998.LNCS 1486.Zhao Jian Hua,Dang Van Hung.
- 參考資料
-
- 1. 趙建華 (博導) .南京大學計算機科學與技術系.2016-07-31[引用日期2021-04-03]