共找到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.