報告題目：可能性計算樹邏輯的可滿足性和公理化

報 告 人：李永明 教授

報告時間：2026年1月18日（周日） 09：20

報告地點：騰訊會議 779-652-864

歡迎廣大師生踴躍參加！

科技處   數(shù)學(xué)與數(shù)據(jù)科學(xué)學(xué)院

2026年1月12日

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