共找到47條詞條名為趙建華的結果 展開

趙建華

南京大學教師

南京大學教師

研究興趣與方向:

形式化方法(主要包括模型檢驗(Model checking),數據精化技術),軟體工程,程序設計語言。

人物經歷


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.