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

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

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

新聞小貼士：

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

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