当前位置: X-MOL首页全球导师 国内导师 › 赵建华

个人简介

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

研究领域

查看导师最新文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

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

推荐链接
down
wechat
bug