|
|||
韩俊刚 | |||
性 别: | 男 | 职 称: | 教育,高等学校教师,教授 |
籍 贯: | 陕西省 西安市 | 现 居 地: | 吉林省 长春市 |
毕业院校: | 吉林大学 | 专 业: | 数学 |
查看更多个人信息 | |||
出生年月: | 1943 | 工作单位: | 西安邮电大学电子工程学院 |
邮 箱: | 联系电话: | ||
学 历: | 本科 |
【人物简介】
韩俊刚,男,吉林省长春市人,生于1943年,硕士学位,西安电子科技大学兼职博士导师,西安邮电大学资深教授。主要从事于软件和硬件的形式化验证、图形处理器和新型计算机体系结构研究工作。获得国家级和省部级科技进步奖以及教学成果8项。
【研究方向】
软件和硬件的形式化验证、图形处理器和新型计算机体系结构。
【研究成果】
获得陕西省、信息产业部科技进步二等奖各一次,西安市科技进步三等奖三次,获得国家发明专利三项;1997年被评为陕西省有突出贡献的留学归国人员,1998年享受政府特殊津贴,1999年荣获“陕西省优秀教师”称号、2001年荣获“全国优秀教师”称号。2006年荣获“陕西省教学名师”称号。
【科研项目】
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程序设计》译著一部;编写”计算机专业英语“等教材。
【论文著作】
在《计算机学报学报》、《计算机辅助设计和图形学学学报》等国内外学术期刊和国际会议发表论文60余篇