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