1月18日，陜西師范大學(xué)李永明教授應(yīng)邀做客我?！扒把乜茖W(xué)報(bào)告”。本次報(bào)告以線上會(huì)議形式舉行，由王敬前副教授主持，吸引了校內(nèi)外70余位師生參與。

李永明教授的報(bào)告題為《可能性計(jì)算樹邏輯的可滿足性和公理化》，聚焦可能性計(jì)算樹邏輯（PoCTL）的可滿足性與公理化問題。李永明教授發(fā)展了一套精巧的方法，證明了PoCTL的可滿足性問題在指數(shù)時(shí)間內(nèi)是可判定的，并給出了PoCTL的公理化。

報(bào)告結(jié)束后，李教授和參與師生就研究中的關(guān)鍵難點(diǎn)展開了深入交流與探討。此次學(xué)術(shù)報(bào)告不僅搭建了與學(xué)術(shù)前沿的橋梁，同時(shí)對促進(jìn)學(xué)院相關(guān)方向科研水平的提升起到了積極作用，營造了濃厚的學(xué)術(shù)氛圍。

新聞小貼士：

李永明，博士（后），陜西師范大學(xué)二級教授，博士生導(dǎo)師。政府特殊津貼獲得者、教育部高校青年教師獎(jiǎng)獲得者、全國寶鋼優(yōu)秀教師獎(jiǎng)獲得者。（曾）擔(dān)任國際 IEEE 計(jì)算智能模糊系統(tǒng)技術(shù)委員會(huì)委員，中國數(shù)學(xué)會(huì)理事，中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)副主任委員，全國運(yùn)籌學(xué)會(huì)智能計(jì)算學(xué)會(huì)副理事長，全國高等師范學(xué)校計(jì)算機(jī)教育委員會(huì)副理事長等。曾獲得陜西省科學(xué)技術(shù)獎(jiǎng)、教育部高等學(xué)?？茖W(xué)研究優(yōu)秀成果獎(jiǎng)自然科學(xué)獎(jiǎng)、國家級和省級教學(xué)成果獎(jiǎng)等。

（核稿：王志東 編輯：王亮）