趙建華

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.