设为首页加入收藏网站地图 ENGLISH 信息门户
      当前位置: 首页 >> 师资队伍 >> 政府特殊津贴专家 >> 正文

      韩俊岗

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

      上一条:谢永斌

      关闭

      雁塔校区

      电话:029-85383106

      邮政编码:710061

      雁塔校区地址:西安市长安南路563号

      长安校区

      电话:029-88166105

      邮政编码:710121

      长安校区地址:西安市长安区西长安街618号

      关注我们
      友情链接
      版权所有:西安邮电大学 2011-2017 中国西安长安南路563号 陕ICP备040096号
      亚博活动优惠