扫码加入训练营

牢记核心词

学习得礼盒

研究生导师赵建华:南京大学

2016-05-07 11:18:30来源:网络
姓  名 赵建华 性  别 出生年月
所在院校 南京大学 所在院系 技术学院
职称 教授 招生专业 计算机应用技术
研究领域 形式化方法(主要包括模型检验(Model checking),数据精化技术),软件工程,程序设计语言
联系方式 E-mail 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.

考研择校小程序

本文关键字: 考研导师 研究生导师

声明:如本网转载稿涉及版权等问题,请作者致信lulei@xdfzx.com,我们将及时处理。

考研英语核心词汇营

背词+听课+练习+督学,学习得礼盒

更多>>
更多内容

关注新东方在线考研服务号

获得21考研真题及答案解析

1. 打开手机微信【扫一扫】,识别上方二维码;
2.点击【关注公众号】,获取资料大礼包。

免费领书
最新10年考研真题及答案免费下载
更多>>
更多公开课>>
更多>>
更多资料
获取验证码
收不到短信?点此接收语音验证码
电话拨打中...请留意来自125909888237的来电
60秒后可重新获取
《新东方在线注册条款》  、  《隐私权保护政策》  及  《儿童隐私保护政策》
账号密码登录 找回密码
国际手机登录
《新东方在线注册条款》  、  《隐私权保护政策》  及  《儿童隐私保护政策》
手机快速登录 找回密码
获取验证码
收不到短信?点此接收语音验证码
电话拨打中...请留意来自125909888237的来电
60秒后可重新获取
《新东方在线注册条款》  、  《隐私权保护政策》  及  《儿童隐私保护政策》
账号密码登录 找回密码
国际手机登录
《新东方在线注册条款》  、  《隐私权保护政策》  及  《儿童隐私保护政策》
手机快速登录 找回密码
获取验证码
收不到短信?点此接收语音验证码
电话拨打中...请留意来自125909888237的来电
60秒后可重新获取
《新东方在线注册条款》  、  《隐私权保护政策》  及  《儿童隐私保护政策》
账号密码登录 找回密码
国际手机登录
《新东方在线注册条款》  、  《隐私权保护政策》  及  《儿童隐私保护政策》
手机快速登录 找回密码