個人簡介
博士,教授,博士生導(dǎo)師。中國計算機學(xué)會(CCF)和IEEE-CS高級會員,南通市中青年科學(xué)技術(shù)帶頭人。2011年8月—2011年12月到Lethbridge大學(xué)訪問[1]并進(jìn)行Reversible logic synthesis and information security的合作研究。2003年8月—2004年2月作為高級訪問學(xué)者到美國科羅拉多礦業(yè)學(xué)院(Colorado school of mines)數(shù)學(xué)與計算機系訪問并參與Logic design and VLSI Floor planning的研究工作。
多年來一直從事計算機科學(xué)與技術(shù)的教學(xué)與研究工作。主要研究方向為可逆計算、邏輯綜合和信息安全等。擔(dān)任計算機及其相關(guān)專業(yè)本科課程主要有計算機導(dǎo)論、數(shù)據(jù)結(jié)構(gòu);研究生課程程序設(shè)計方法學(xué)和人工智能等。
科研項目
主持國家自然科學(xué)基金(60873069)項目,參加國家高技術(shù)研究發(fā)展計劃(863計劃)(2007AA01Z404)項目等。曾主持和主要參加的研究項目有:主持江蘇省自然科學(xué)基金項目(BK2001130),參與國家自然科學(xué)基金(60673127)、美國國家科學(xué)基金項目(National Science Foundation ,No. CCR-9988338),“Constrained Polygon Transformations for Incremental Floorplanning”、江蘇省高技術(shù)研究計劃項目(BG2004005)、江蘇省高校自然科學(xué)基金(05KJB460107)等項目多項。
發(fā)表作品
在計算機學(xué)報、電子學(xué)報、DCDIS Series、IEEE Computer society等國內(nèi)外專業(yè)期刊、國際會議和出版社發(fā)表論著80余篇,被科學(xué)統(tǒng)計與科學(xué)評價檢索工具SCI、EI和ISTP檢索論文余30篇。出版專著2部(其中個人專著《可逆邏輯綜合》由科學(xué)出版社2011),主編教材2部。申請發(fā)明專利8項,已授權(quán)5項。
新一代信息技術(shù)國際會議(ITNG08,美國,Las Vegas)程序委員會副主席,計算智能與安全國際會議(CIS06,中國,廣州)分會主席,國際生物與醫(yī)藥信息學(xué)大會(IEEE-BIBM10,香港)中醫(yī)信息學(xué)分會程序委員會委員。
曾獲省級優(yōu)秀教學(xué)成果二等獎,南通市科技進(jìn)步獎各二項。