首页
首页 >> 新闻动态 >> 正文

陕西师范大学李永明教授应邀来公司作学术报告

发布日期:2023/05/25    点击:

近日,应必威betway中文版邀请,陕西师范大学李永明教授来校作了题为《形式幂级数的商(On Quotients of Formal Power Series)》的学术报告。报告会由必威betway中文版陈文娟教授主持,学院部分教师、研究生认真听取了报告。

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

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

上一条:公司与山东麦港数据系统有限公司举行签约仪式

下一条:华东师范大学陈仪香教授应邀来公司作学术报告