韩俊岗

韩俊岗,男,1943年01月出生,硕士研究生,二级教授,计算机学院教师,2004年评为陕西省教学名师。研究方向:软件和硬件的形式化验证、图形处理器和新型计算机体系结构。近年主要成果:主持完成了“硬件设计的形式化验证”、“基于时态逻辑的形式化综合”、“用于系统芯片验证的证明引擎研究”、“面向无线通信的自重构NOC研究” 等5项国家自然科学基金项目。主持完成了国家十五攻关项目“40G/s光纤通信系统与设备” 的“关键ASIC设计”课题,主持陕西省重大产业化项目和多项教学改革项目等。现主持国家自然科学基金重点项目“新一代图形处理器系统芯片体系结构和关键技术研究”。在《计算机学报学报》、《计算机辅助设计与图形学学报》等国内外学术期刊和国际会议发表论文100余篇。获得国家级和省部级科技进步奖以及教学成果8项。   

下一条:张鸿

关闭

雁塔校区

电话:029-85383106

邮政编码:710061

雁塔校区地址:凤凰城娱乐_凤凰城网上国际娱乐平台 - 凤凰城娱乐在线平台 |西安市长安南路563号

长安校区

电话:029-88166105

邮政编码:710121

长安校区地址:凤凰城娱乐_凤凰城网上国际娱乐平台 - 凤凰城娱乐在线平台 |西安市长安区西长安街

关注我们
友情链接
版权所有- 凤凰城娱乐_凤凰城网上国际娱乐平台 - 凤凰城娱乐在线平台:西安邮电大学 2011-2017 中国西安长安南路563号 陕ICP备040096号