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