近日，应威尼斯432888can(中国)-App Store数学科学学院邀请，陕西师范大学李永明教授来校作了题为《形式幂级数的商（On Quotients of Formal Power Series）》的学术报告。报告会由数学科学学院陈文娟教授主持，学院部分教师、研究生认真听取了报告。

报告中，李永明教授介绍了形式幂级数的两个商运算的定义，以及利用这些运算为每个形式幂级数构造的两个加权自动机；概述了构造通用加权自动机的有效代数方法；最后指出了形式幂级数中存在的几个公开问题。报告内容深入浅出，得到与会师生的热烈欢迎。会后，与会师生就完备c-半环的充要条件等提出相关问题，李教授给予耐心解答。

李永明教授，博士，陕西师范大学二级教授，博士生导师。主要研究方向为非经典计算理论、量子计算与量子信息、格上拓扑学。政府特殊津贴获得者，教育部高校青年教师奖获得者，陕西省三秦人才津贴获得者。（曾）担任国际IEEE计算智能模糊系统技术委员会委员，中国系统工程学会模糊系统与模糊数学委员会副主任委员，全国运筹学会智能计算学会副理事长，全国高等师范学校计算机教育委员会副理事长，中国计算机学会理论计算机学会理事，陕西省计算机学会常务理事，CCF（中国计算机学会）西安分部执委。曾获得陕西省科学技术奖，教育部高等学校科学研究优秀成果奖自然科学奖等。