热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
赵建华
2023-05-11 15:36
  • 赵建华
  • 赵建华 - 教授-南京大学-计算机软件新技术国家重点实验室-个人资料

近期热点

资料介绍

个人简历


赵建华,男,1971年生,教授,博士生导师,教育部新世纪优秀人才。1998年于南京大学计算机科学与技术系获博士学位,现为南京大学计算机科学与技术系教授,博士生导师

研究领域


软件工程、代码验证与分析、模型检验,近年来研究工作重点包括实时和混成系统模型检验、程序逻辑和代码分析/验证技术

相关热点

扫码添加好友