近日，福建省教育廳、財(cái)政廳下發(fā)《關(guān)于公布楊國(guó)武入選2012年“閩江學(xué)者獎(jiǎng)勵(lì)計(jì)劃”人選的通知》（閩教高[2012]22號(hào)），同意我校聘請(qǐng)楊國(guó)武為“閩江學(xué)者”特聘教授。這是今年我校引進(jìn)的繼“長(zhǎng)江學(xué)者”李紅教授之后的第二位“閩江學(xué)者”。
楊國(guó)武簡(jiǎn)介：
電子科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院教授，電子科技大學(xué)中青年學(xué)術(shù)帶頭人，博士生導(dǎo)師。IEEE人工智能學(xué)會(huì)量子計(jì)算專(zhuān)委會(huì)副主席。美國(guó)波特蘭州立大學(xué)電子與計(jì)算機(jī)工程系博士。
主要從事量子計(jì)算中可逆邏輯電路的綜合、數(shù)字系統(tǒng)設(shè)計(jì)的形式化驗(yàn)證和數(shù)字系統(tǒng)仿真的研究，在可逆邏輯電路綜合的理論分析、算法優(yōu)化上都處于世界領(lǐng)先水平。楊教授發(fā)現(xiàn)并糾正了英特爾創(chuàng)立的GSTE理論中的一個(gè)錯(cuò)誤。主持開(kāi)發(fā)出了基于GSTE理論的模型檢測(cè)軟件和一款可擴(kuò)展的嵌入式硬件仿真平臺(tái)。
楊教授在相關(guān)方面的研究中主持了2個(gè)國(guó)家自然科學(xué)基金項(xiàng)目，1個(gè)核高基重大項(xiàng)目的仿真模塊等項(xiàng)目，發(fā)表60多篇學(xué)術(shù)論文，其中SCI檢索30多篇。
