韩俊刚 教授，西安电子科技大学兼职博士导师，吉林省长春市人，生于1943年，硕士。　1966年毕业吉林大学数学系系，获学士学位，1981年9月毕业于中国科学院计算技术研究所，获硕士学位， 1981年9月至1992年9月，在西安电子科技大学工作。1994年4月至今，在西安邮电学院从事教学与科研工作。现任西安邮电学院资深教授。《计算机辅助设计和图形学学报》编委。现在主要研究方向有软件和硬件的形式化验证、图形处理器和新型计算机体系结构。

先后为研究生和本科生开设《面向计算机科学的数理逻辑》、《数字电路逻辑设计》、《离散数学》、《超大规模集成电路设计》、《专业英语》等课程，培养博士和硕士30名。主持完成了“硬件设计的形式化验证”、“基于时态逻辑的形式化综合”、“用于系统芯片验证的证明引擎研究”、“面向无线通信的自重构NOC研究” 等国家自然科学基金项目。主持完成了国家十五攻关项目“40G/s光纤通信系统与设备” 的“关键ASIC设计”课题，主持陕西省重大产业化项目和多项教学改革项目等。在《计算机学报学报》、《计算机辅助设计和图形学学学报》等国内外学术期刊和国际会议发表论文60余篇。2003年被评为全国优秀教师，2004年评为陕西省教学名师。2006年荣获“陕西省教学名师”称号，2009年获国家科技进步二等奖。获得国家级和省部级科技进步奖以及教学成果8项。

主持参与主要项目及成果：

1.2006年主持国家自然科学基金项目“无线通信自重构容错NOC研究”（90607008）获得项目经费30万元；

2.2003年主持国家自然基金重大研究计划项目“用于系统芯片验证的证明引擎研究”（90207015）获得项目经费30万元，2006年5月已经顺利通过国家自然科学基金专家组实地验收，获得好评，发表论文十多篇，有2篇被EI检索。

3.1977年主持国家自然科学基金项目“基于时态逻辑的形式化综合 （69473017）获得项目经费30万元；通过国家自然科学基金专家组验收，出版专著一部，发表论文20多篇，2000年获得西安市科技进步三等奖。

4.1989年主持国家自然科学基金项目“硬件设计的形式化验证”。

5.1992年主持国家自然科学基金重点项目子项目“　XYZ系统在VLSI设计领域中的应用”。

6.2002年主持了国家“十五”科技计划攻关课题“40G SDH（STM-256）光纤通信设备与系统关键

ASIC开发”（2002BA106B06240）获得项目经费240万元，通过“十五”攻关专家组的验收。

7.2003年主持国家“863”项目“宽带交换高速交换芯片的研究开发”（2003AA1Z1190）。

8.1997年主持邮电部重点科研项目“SDH用ASIC研究”获得项目经费100万元。芯片在台湾已经一次投片成功，产品通过信息产业部科学技术鉴定，1999年项目获信息产业部科技进步二等奖；2001年荣获陕西省科技进步二等奖，并实现产业化，创造了良好的经济效益。

9.2001发表《数字硬件的形式化验证》(ISBN7-301-05332-0/TP.0632)/北京大学出版社专著一部；2000发表《接入网和V5接口》(ISBN7-115-08197-2/TN?1538)/人民邮电出版社著作一部；1998年翻译《Common LISP程序设计》译著一部；编写“计算机专业英语”等教材。

获奖情况：

获得陕西省、信息产业部科技进步二等奖各一次，西安市科技进步三等奖三次，获得国家发明专利三项；1997年被评为陕西省有突出贡献的留学归国人员，1998年享受政府特殊津贴，1999年荣获“陕西省优秀教师”称号、2001年荣获“全国优秀教师”称号。2006年荣获“陕西省教学名师”称号。