西安郵電大學(xué)計算機學(xué)院研究生導(dǎo)師韓俊崗 正文

韓俊崗，男，1943年01月出生，碩士研究生，二級教授，計算機學(xué)院教師，2004年評為陜西省教學(xué)名師。研究方向：軟件和硬件的形式化驗證、圖形處理器和新型計算機體系結(jié)構(gòu)。近年主要成果：主持完成了“硬件設(shè)計的形式化驗證”、“基于時態(tài)邏輯的形式化綜合”、“用于系統(tǒng)芯片驗證的證明引擎研究”、“面向無線通信的自重構(gòu)NOC研究” 等5項國家自然科學(xué)基金項目。主持完成了國家十五攻關(guān)項目“40G/s光纖通信系統(tǒng)與設(shè)備” 的“關(guān)鍵ASIC設(shè)計”課題，主持陜西省重大產(chǎn)業(yè)化項目和多項教學(xué)改革項目等?，F(xiàn)主持國家自然科學(xué)基金重點項目“新一代圖形處理器系統(tǒng)芯片體系結(jié)構(gòu)和關(guān)鍵技術(shù)研究”。在《計算機學(xué)報學(xué)報》、《計算機輔助設(shè)計與圖形學(xué)學(xué)報》等國內(nèi)外學(xué)術(shù)期刊和國際會議發(fā)表論文100余篇。獲得國家級和省部級科技進步獎以及教學(xué)成果8項。 以上老師的信息來源于學(xué)校網(wǎng)站，如有錯誤，可聯(lián)系我們進行免費更新或刪除。建議導(dǎo)師將更新的簡歷尤其對研究生招生的要求發(fā)送給我們，以便考研學(xué)子了解導(dǎo)師的情況。（導(dǎo)師建議加QQ-1933508706，以便后續(xù)隨時更新網(wǎng)頁或發(fā)布調(diào)劑信息?？佳信删W(wǎng)站和APP流量巨大）聯(lián)系方式

西安郵電大學(xué)

本文來源：http://zhangjiajieline.cn/xayddx/yjsds_304747.html