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

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

西安郵電大學(xué)

本文來(lái)源：http://www.qiang-kai.com/xayddx/yjsds_304747.html