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

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

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

新聞小貼士：

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

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