应我院邀请，10月2日上午，湖南大学李庆国教授在腾讯会议作了题为《Domain理论简介》的报告。相关师生聆听了此次报告，报告由林福财教授主持。

报告中，李庆国教授首先介绍了Domain产生的来源：Domain理论是由图灵奖获得者Scott所建立的，它是计算机函数式程序语言的指称语义，是一个特殊的定向完备偏序集，也可以说是一个计算机程序语言的数学模型。法国的布尔巴基学派将数学结构分为三大类：代数结构、序结构、拓扑结构。这个理论的重要研究特色是序结构和拓扑结构的交叉，它是推动T0-拓扑空间发展的一个重要的研究领域。然后报告中李庆国教授还介绍了Domain的一些拓扑性质，例如Sober性，良滤性及单调收敛性。结合Domain的这些拓扑性质，给出并讨论T0-拓扑空间的弱Sober、弱良滤及PF-Sober、PF-良滤等这些分离性更弱的拓扑性质。报告结束后，在座的师生就相关研究问题进行了探讨和交流。

李庆国：男，汉族。生于1963年6月。博士，湖南大学数学学院二级教授，博士生导师，校学术委员会委员。1999年7月至2000年6月及2008年11月至2009年11月分别在美国科罗拉多大学数学系和康涅底克大学数学系作访问教授。2000年12月起担任湖南大学应用数学专业博士生导师。现为中国系统工程学会模糊数学与模糊系统委员会副理事长，湖南省数学学会副理事长。入选湖南省121人才第一层次，国务院政府特殊津贴获得者。曾获2013年湖南省自然科学一等奖，排名第一。已完成国家自然科学基金面上项目四项。现在正承担国家自然科学基金面上项目《连续偏序集的拓扑性质、笛卡尔闭性及函数空间的研究》。目前主要研究领域为格上拓扑。重在研究计算机与信息科学中所涉及的数学问题，主要从以下二个方面着手进行研究：计算机程序语言的指称语义—Domain理论，计算机与信息科学的逻辑基础。至今为止，已在《Applied Categorical Structures》，《Semigroup Forum》，《Houston Journal of Mathematics》，《Annals of Pure and Applied Logic》，《Journal of Pure and Applied Algebra》，《Topology and its Applications》等国际期刊上发表论文100余篇。