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

報 告 人：李永明 教授

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

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

歡迎廣大師生踴躍參加！

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

2026年1月12日

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