主要貢獻(xiàn)
主要研究領(lǐng)域為人工智能、智能規(guī)劃與自動推理。累計承擔(dān)國家自然科學(xué)基金項目等科研項目7項，參加政府間科技合作項目等科研項目32項。
在《Journal of Experimental & Theoretical Artificial Intelligence》、《AI Communications》、《計算機學(xué)報》和《軟件學(xué)報》等國內(nèi)外期刊和會議上發(fā)表學(xué)術(shù)論文96篇，其中：SCI和EI檢索學(xué)術(shù)論文62篇。
獲獎紀(jì)錄
獲得全國商業(yè)科技進步一等獎2項，吉林省科學(xué)技術(shù)進步三等獎2項。
教育經(jīng)歷
1999.09-2003.06，東北師范大學(xué) 計算機科學(xué)系（現(xiàn)計算機科學(xué)與信息技術(shù)學(xué)院）計算機科學(xué)與技術(shù)專業(yè)，本科生/理學(xué)學(xué)士
2004.09-2007.06，吉林大學(xué) 計算機科學(xué)與技術(shù)學(xué)院計算機軟件與理論專業(yè)（指導(dǎo)教師：孫吉貴教授、歐陽丹彤教授），研究生/工學(xué)碩士
2007.09-2010.06，吉林大學(xué) 計算機科學(xué)與技術(shù)學(xué)院計算機軟件與理論專業(yè)（指導(dǎo)教師：劉磊教授、孫吉貴教授），研究生/工學(xué)博士
工作經(jīng)歷
2010.07.02-2015.09.30，吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院，講師
2013.03.12-2014.09.01，吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院學(xué)術(shù)委員會，兼職秘書
2015.09.30至今，吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院，副教授
2016.03.11至今，吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院2015級理科試驗班（唐敖慶計算機班），班主任
