赵建华,男,1971年生,教授,博士生导师,教育部新世纪优秀人才。1998年于南京大学计算机科学与技术系获博士学位,现为南京大学计算机科学与技术系教授,博士生导师
软件工程、代码验证与分析、模型检验,近年来研究工作重点包括实时和混成系统模型检验、程序逻辑和代码分析/验证技术