基本介紹
- 中文名：韓俊剛
- 出生地：吉林省長春市
- 出生日期：1943年
- 職業：西安郵電大學資深教授、西安電子科技大學兼職博士導師
- 畢業院校：中國科學院計算技術研究所
- 主要成就：2003年被評為全國優秀教師
2006年榮獲“陝西省教學名師”稱號
2009年獲國家科技進步二等獎
個人簡介,主持參與主要項目及成果,獲獎情況,
個人簡介
1966年畢業吉林大學數學系系，獲學士學位，1981年9月畢業於中國科學院計算技術研究所，獲碩士學位， 1981年9月至1992年9月，在西安電子科技大學任教，曾任電子線路教研室主任。1992 -1993年在山東大學威海分校任控制系副主任。於1986-1988年在加拿大Calgary大學做訪問學者，1999年在德國薩爾州大學從事形式化方法研究。1994-2009年任西安郵電學院計算機系主任。現為西安郵電大學資深教授。《計算機輔助設計和圖形學學報》編委。現在主要研究方向有軟體和硬體的形式化驗證、圖形處理器和新型計算機體系結構。
先後為研究生和本科生開設《面向計算機科學的數理邏輯》、《數字電路邏輯設計》、《離散數學》、《超大規模積體電路設計》、《專業英語》等課程，培養博士和碩士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）。
9） 2001發表《數字硬體的形式化驗證》(ISBN7-301-05332-0/TP.0632)/北京大學出版社專著一部；2000發表《接入網和V5接口》(ISBN7-115-08197-2/TN?1538)/人民郵電出版社著作一部；1998年翻譯《Common LISP程式設計》譯著一部；編寫“計算機專業英語”等教材。
獲獎情況
獲得陝西省、信息產業部科技進步二等獎各一次，西安市科技進步三等獎三次，獲得國家發明專利三項；1997年被評為陝西省有突出貢獻的留學歸國人員，1998年享受政府特殊津貼，1999年榮獲“陝西省優秀教師”稱號、2001年榮獲“全國優秀教師”稱號。2006年榮獲“陝西省教學名師”稱號。
