赵建华
赵建华教授学历简介1．1989年9月，进入南京大学计算机系本科学习，1993年获理学学士(计算机软件)学位2．1993年9月，进入南京大学计算机系研究生学习，1996年获工学硕士(计算机软件与理论)学位3．1996年3月，于南京大学计算机系攻读博士学位，师从郑国梁教授，1999年5月获工学博士学位。4．攻读博士期间，1997年9月至1998年10月在澳门联合国大学国际软件技术研究所(UNU／IIST)学习和研究工作。5．1999年4月进入南京大学计算机系从事教学科研工作研究兴趣与方向：形式化方法(主要包括模型检验(Modelchecking)，数据精化技术)，软件工程，程序设计语言。已发表论文：1．并发实时系统的自动验证，软件学报，1999年2月，赵建华，郑国梁，DangVanHung2．MessageConversionandANewTypeSystemforOO-Model，SIGPLANNotices32(9)：P61-67(1997)ZhaoJianhua,ChenJiajun，ZhengGuoliang3．C十十的一种并发扩充方案，软件学报，第9卷第8期，1998年8月。陈家骏，赵建华，郑国梁。4．HybirdRegularExpressions．LinProceedingsoftheFirstInternationalWorkshoponHybridSystems：ComputationandControl(HSCC'98)，Springer,Berkeley，California，1998．LiXuandong，ZhengTao，Houjianmin，ZhaoJianhua，ZhengGuoliang．5．OnCheckingParallelReal-timeSystemsforLinearDurationProperties,InProceedingsof5thInternationalSymposium.FTRTFT'98,Lyngby,Denmark,September1998.LNCS1486.ZhaoJianHua,DangVanHung.

电话：83593433电子邮件：zhaojh#nju.edu.cn