簡介
李永明,男,教授,博士生導師。現任陝西師範大學計算機科學學院院長。
主要從事格上拓撲學、智慧型系統分析以及可計算與複雜性理論的研究工作。
主要成就
在格上拓撲學方面主要從事LOCALE理論、拓撲分子格理論、QUANTALE理論及模糊拓撲空間的研究工作;在智慧型系統方面主要從事模糊系統的動態分析及其實現理論的研究工作;在可計算與複雜性理論方面主要從事基於詞的可計算性模型與複雜性理論,以及量子邏輯與量子計算理論的研究。已在《J.PureAppl.Alg.》,《SemigroupForum》,《Comment.Math.Univ.Carolinae》,《AlgebraUniversalis》,《FuzzySetsandSystems》,《InformationSciences》,《InternationalJournalofTheoreticalPhysics》,《InternationalJournalofIntelligentSystems》,《SoftComputing》,《數學學報》,《自動化學報》,《科學通報》,《數學年刊》等雜誌發表論文60餘篇。