韓俊剛

韓俊剛

吉林省長春市人,生於1943年,碩士學位,西安電子科技大學兼職博士導師,西安郵電大學資深教授。

基本介紹

  • 中文名:韓俊剛
  • 出生地:吉林省長春市
  • 出生日期: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)。
8) 1997年主持郵電部重點科研項目“SDHASIC研究”獲得項目經費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年榮獲“陝西省教學名師”稱號。

相關詞條

熱門詞條

聯絡我們