韓俊剛 教授，西安電子科技大學(xué)兼職博士導(dǎo)師，吉林省長春市人，生于1943年，碩士。

　1966年畢業(yè)吉林大學(xué)數(shù)學(xué)系系，獲學(xué)士學(xué)位，1981年9月畢業(yè)于中國科學(xué)院計(jì)算技術(shù)研究所，獲碩士學(xué)位， 1981年9月至1992年9月，在西安電子科技大學(xué)工作。1994年4月至今，在西安郵電學(xué)院從事教學(xué)與科研工作�，F(xiàn)任西安郵電學(xué)院資深教授�！队�(jì)算機(jī)輔助設(shè)計(jì)和圖形學(xué)學(xué)報(bào)》編委�，F(xiàn)在主要研究方向有軟件和硬件的形式化驗(yàn)證、圖形處理器和新型計(jì)算機(jī)體系結(jié)構(gòu)。 　

　先后為研究生和本科生開設(shè)《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》、《數(shù)字電路邏輯設(shè)計(jì)》、《離散數(shù)學(xué)》、《超大規(guī)模集成電路設(shè)計(jì)》、《專業(yè)英語》等課程，培養(yǎng)博士和碩士30名。主持完成了“硬件設(shè)計(jì)的形式化驗(yàn)證”、“基于時(shí)態(tài)邏輯的形式化綜合”、“用于系統(tǒng)芯片驗(yàn)證的證明引擎研究”、“面向無線通信的自重構(gòu)NOC研究” 等國家自然科學(xué)基金項(xiàng)目。主持完成了國家十五攻關(guān)項(xiàng)目“40G/s光纖通信系統(tǒng)與設(shè)備” 的“關(guān)鍵ASIC設(shè)計(jì)”課題，主持陜西省重大產(chǎn)業(yè)化項(xiàng)目和多項(xiàng)教學(xué)改革項(xiàng)目等。在《計(jì)算機(jī)學(xué)報(bào)學(xué)報(bào)》、《計(jì)算機(jī)輔助設(shè)計(jì)和圖形學(xué)學(xué)學(xué)報(bào)》等國內(nèi)外學(xué)術(shù)期刊和國際會(huì)議發(fā)表論文60余篇。2003年被評為全國優(yōu)秀教師，2004年評為陜西省教學(xué)名師。2006年榮獲“陜西省教學(xué)名師”稱號，2009年獲國家科技進(jìn)步二等獎(jiǎng)。獲得國家級和省部級科技進(jìn)步獎(jiǎng)以及教學(xué)成果8項(xiàng)。

　　1.2006年主持國家自然科學(xué)基金項(xiàng)目“無線通信自重構(gòu)容錯(cuò)NOC研究”（90607008）獲得項(xiàng)目經(jīng)費(fèi)30萬元；

　　2.2003年主持國家自然基金重大研究計(jì)劃項(xiàng)目“用于系統(tǒng)芯片驗(yàn)證的證明引擎研究”（90207015）獲得項(xiàng)目經(jīng)費(fèi)30萬元，2006年5月已經(jīng)順利通過國家自然科學(xué)基金專家組實(shí)地驗(yàn)收，獲得好評，發(fā)表論文十多篇，有2篇被EI檢索。

　　3.1977年主持國家自然科學(xué)基金項(xiàng)目“基于時(shí)態(tài)邏輯的形式化綜合 （69473017）獲得項(xiàng)目經(jīng)費(fèi)30萬元；通過國家自然科學(xué)基金專家組驗(yàn)收，出版專著一部，發(fā)表論文20多篇，2000年獲得西安市科技進(jìn)步三等獎(jiǎng)。

　　4.1989年主持國家自然科學(xué)基金項(xiàng)目“硬件設(shè)計(jì)的形式化驗(yàn)證”。

　 5.1992年主持國家自然科學(xué)基金重點(diǎn)項(xiàng)目子項(xiàng)目“　XYZ系統(tǒng)在VLSI設(shè)計(jì)領(lǐng)域中的應(yīng)用”。

　　6.2002年主持了國家“十五”科技計(jì)劃攻關(guān)課題“40G SDH（STM-256）光纖通信設(shè)備與系統(tǒng)關(guān)鍵 　　ASIC開發(fā)”（2002BA106B06240）獲得項(xiàng)目經(jīng)費(fèi)240萬元，通過“十五”攻關(guān)專家組的驗(yàn)收。

　　7.2003年主持國家“863”項(xiàng)目“寬帶交換高速交換芯片的研究開發(fā)”（2003AA1Z1190）。

　　8.1997年主持郵電部重點(diǎn)科研項(xiàng)目“SDH用ASIC研究”獲得項(xiàng)目經(jīng)費(fèi)100萬元。芯片在臺灣已經(jīng)一次投片成功，產(chǎn)品通過信息產(chǎn)業(yè)部科學(xué)技術(shù)鑒定，1999年項(xiàng)目獲信息產(chǎn)業(yè)部科技進(jìn)步二等獎(jiǎng)；2001年榮獲陜西省科技進(jìn)步二等獎(jiǎng)，并實(shí)現(xiàn)產(chǎn)業(yè)化，創(chuàng)造了良好的經(jīng)濟(jì)效益。

　　9.2001發(fā)表《數(shù)字硬件的形式化驗(yàn)證》(ISBN7-301-05332-0/TP.0632)/北京大學(xué)出版社專著一部；2000發(fā)表《接入網(wǎng)和V5接口》(ISBN7-115-08197-2/TN?1538)/人民郵電出版社著作一部；1998年翻譯《Common LISP程序設(shè)計(jì)》譯著一部；編寫“計(jì)算機(jī)專業(yè)英語”等教材。

　　獲得陜西省、信息產(chǎn)業(yè)部科技進(jìn)步二等獎(jiǎng)各一次，西安市科技進(jìn)步三等獎(jiǎng)三次，獲得國家發(fā)明專利三項(xiàng)；1997年被評為陜西省有突出貢獻(xiàn)的留學(xué)歸國人員，1998年享受政府特殊津貼，1999年榮獲“陜西省優(yōu)秀教師”稱號、2001年榮獲“全國優(yōu)秀教師”稱號。2006年榮獲“陜西省教學(xué)名師”稱

?