赵建华
近期热点
资料介绍
个人简历
赵建华,男,1971年生,教授,博士生导师,教育部新世纪优秀人才。1998年于南京大学计算机科学与技术系获博士学位,现为南京大学计算机科学与技术系教授,博士生导师研究领域
软件工程、代码验证与分析、模型检验,近年来研究工作重点包括实时和混成系统模型检验、程序逻辑和代码分析/验证技术标签: 南京大学 计算机软件新技术国家重点实验室
相关热点
最新收录
- 椛岛光 06-01
- 星乃梦奈(ほしの ゆな 06-01
- 沖田奈奈 沖田奈々(Nana 06-01
- 藤仁依那 藤にいな(Niina 06-01
- 矢田步美 矢田あゆみ(Ay 06-01
- 妹岳夏目 妹岳なつめ(Na 06-01
- 麻仓香穗里 麻仓かほり 06-01
- 立花广美 (立花ひろみ H 05-31
- 里中瑞穗(里中みずほ Mi 05-31
- 结月莉亚(結月りあ) 05-31