云亭数学讲坛2022第102讲——李庆国教授

文章来源:11474蒙特卡罗发布日期:2022-12-18浏览次数:10


应学院邀请,湖南大学李庆国教授将在线作学术报告。

报告题目Domain理论简介

报告摘要在当今科技发展和人类生活中,计算机已成为不可或缺的工具。程序语言作为人类和计算机交互的媒介,将人类从众多繁重的工作中解放出来。为了更好地设计和使用程序语言,需要建立程序语言的数学模型,利用数学理论与方法帮助设计人员建立更高效、应用范围更广的程序语言。因此,上世纪70 年代初,图灵奖得主Dana Scott 利用偏序结构和拓扑结构建立了Domain 理论作为程序语言的数学模型。除了为程序语言提供数学模型外,Domain 理论也应用于计算理论,同时与分析学、代数学、范畴论和逻辑理论等交叉融合,相互促进。

近年来,Domain理论日趋完善,2003年专著《Continuous Lattices and Domains》将上世纪关于Domain的研究成果做了一个总结。2013年《Non-Hausdorff Topology and Domain Theory》将T0-空间与Domain之间的关联做了一个系统的总结。本报告将对Domain产生的背景,Domain理论中的四个重要的研究方向做一个比较详尽的阐述。

报告时间20221219日下午3:00

报告地点:腾讯会议(会议号:771-328-012)

邀 请 人:乔军胜 副教授

届时欢迎广大师生参与交流!

【报告人简介】

李庆国,博士,湖南大学数学学院二级教授,博士生导师,校学术委员会委员。19997月至20006月及200811月至200911月分别在美国科罗拉多大学数学系和康涅底克大学数学系作访问教授。200012月起担任湖南大学应用数学专业博士生导师。现为中国系统工程学会模糊数学与模糊系统委员会副理事长,湖南省数学学会副理事长。入选湖南省121人才第一层次,国务院政府特殊津贴获得者,湖南大学岳麓学者。曾获2013年湖南省自然科学一等奖,排名第一。已完成国家自然科学基金面上项目五项。现正承担国家自然科学基金重点项目一项。目前主要研究领域为Domain理论,非Hausdorff拓扑。至今为止,已在《Applied Categorical Structures》,《Information and Computation》,《Annals of Pure and Applied Logic》,《Information Sciences》,《Theoretical Computer Science》,《Topology and its Applications》,《Journal of Pure and Applied Algebra ,Fuzzy Sets and System》等国际期刊上发表论文100 余篇。