【特惠】26考研
红包
【考研】专业课HOT
26考研
【MBA】在职考研
【规划】择校备考
【报录比】查询
计划
【真题】全套解析
资料
【申硕】同等学力
预备
【大纲】5500词汇
免费
【在线】英语测评
免费
【大纲】最新大纲
精
扫码加入训练营
牢记核心词
学习得礼盒
姓 名 | 赵建华 | 性 别 | 男 | 出生年月 |
---|---|---|---|---|
所在院校 | 南京大学 | 所在院系 | 技术学院 | |
职称 | 教授 | 招生专业 | 计算机应用技术 | |
研究领域 | 形式化方法(主要包括模型检验(Model checking),数据精化技术),软件工程,程序设计语言 |
联系方式 | zhaojh@nju.edu.cn | 电 话 | 025-******* | 邮 编 | 0 | |
---|---|---|---|---|---|---|
地 址 |
个人简介 |
赵建华教授学历简介 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.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.并发实时系统的自动验证,软件学报,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. |
添加班主任领资料
添加考研班主任
免费领取考研历年真题等复习干货资料
推荐阅读
在读研期间,所有与你读研相关的事情,可能都需要经过你的导师同意,所以说,选择导师真的很重要,也希望大家能够认真对待这件事,怎样
来源 : 网络 2022-09-22 07:50:00 关键字 : 硕士研究生导师
在读研期间,所有与你读研相关的事情,可能都需要经过你的导师同意,所以说,选择导师真的很重要,也希望大家能够认真对待这件事,怎样
来源 : 网络 2022-09-22 07:50:00 关键字 : 硕士研究生导师
在读研期间,所有与你读研相关的事情,可能都需要经过你的导师同意,所以说,选择导师真的很重要,也希望大家能够认真对待这件事,怎样
来源 : 网络 2022-09-22 07:50:00 关键字 : 硕士研究生导师
在读研期间,所有与你读研相关的事情,可能都需要经过你的导师同意,所以说,选择导师真的很重要,也希望大家能够认真对待这件事,怎样
来源 : 网络 2022-09-23 07:50:00 关键字 : 硕士研究生导师
在读研期间,所有与你读研相关的事情,可能都需要经过你的导师同意,所以说,选择导师真的很重要,也希望大家能够认真对待这件事,怎样
来源 : 网络 2022-09-23 07:50:00 关键字 : 硕士研究生导师
资料下载
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
新东方在线考研资料合集
下载方式:微信扫码,获取网盘链接
目录:
1.2013-2023年近10年政数英真题及解析PDF版(新东方)
2.2013-2023年专业课考试历年真题及解析PDF版
3.24考研复习备考资料大合集:大纲+备考资料+词汇书+考前押题+自命题
资料介绍:
1.2013-2023年近10年政数英真题及解析PDF版(新东方)
、
2.2013-2023年专业课考试历年真题及解析PDF版
3.24考研复习备考资料大合集
3.24考研复习备考资料:考研大纲
3.24考研复习备考资料:政数英备考资料+自命题真题
------------------
考研备考过程中,尤其是专业课部分,参考往年的考试真题,对于我们的复习有更好的帮助。北京大学考研真题资料都有哪些?小编为大家进行了汇总。
北京大学考研真题资料-公共课
北京大学考研真题资料-专业课
以上就是关于“北京大学考研真题资料下载(历年汇总)”的整理,更多考研资料下载,请关注微信获取下载地址。
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
扫码添加【考研班主任】
即可领取资料包
阅读排行榜
相关内容