当前位置: 首页>>师资队伍>>政府特殊津贴专家>>正文
政府特殊津贴专家
韩俊岗
2018-03-02 15:42  

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

上一条:谢永斌
已是尾条
关闭窗口