徐晓泉 - 江西师范大学 - 数学与信息科学

个人简介

毕业时间 2004.06 毕业学校四川大学聘任硕导时间 1995年研究成果简介在序与拓扑的交叉上有系统而深入的工作，解决了Domain理论中的多个公开问题，特别是Jung问题、Smyth幂空间的WF性问题和Escardó-Lawson-Simpson问题，建立了格序结构的关系表示理论，并在拓扑、格论等方面获得重要应用。所获科研、教学奖励或荣誉时间奖励或荣誉授奖部门 1993年江西省科协青年科技奖江西省科协 1994年江西省政府特殊津贴江西省人民政府 1995年国务院政府特殊津贴国务院 1996年江西省科技进步奖二等奖江西省人民政府 1998年国家有突出贡献的中青年专家国家人事部 2005年江西省高校第九批省级优秀教学成果奖一等奖江西省教育厅 2006年江西省自然科学奖三等奖江西省人民政府 2007年全国百篇优秀博士学位论文奖教育部、国务院学位办 2007年江西省高校第十批省级优秀教学成果奖一等奖江西省教育厅 2008年江西省高校第十一批省级优秀教学成果奖一等奖江西省教育厅二、科研、教学项目情况科研、教学项目、课题名称项目来源及类别起止时间排名项目金额连续格理论与不分明拓扑国家自然科学基金（青年）项目1992.01-1994.12 1 1.6万连续格理论与范畴结构国家数学天元基金<国内合作研究项目>项目1993.03-1994.2 2 0.65万主持人是刘应明院士 Domain理论，范畴结构与幂构造国家自然科学基金（地区）项目1996.01-1998.12 1 3.4万 Domain的数学结构与非确定计算机高级程序指称语义的数学模型江西省主要学科跨世纪学术带头人培养基金资助项目1998.09-2000.12 1 15万格上拓扑与非经典逻辑国家自然科学基金（重点）项目1999.01-2003.12568万本人获资助11万序、拓扑及形式语义学的数学基础国家自然科学基金（重点）项目2004.01-2007.12 4 98万本人获资助19万格序结构的关系表示及其应用教育部全国优秀博士学位论文作者专项资金资助项目2008.01-2012.121 4 2万格序结构的关系表示及其应用国家自然科学基金（地区）项目2009.01-2011.12 1 25万关系的分解与Domain的表示国家自然科学基金（地区）项目2012.01-2015.12 1 50万序、拓扑与模糊系统若干问题研究“赣鄱英才555工程”领军人才培养计划项目2012.01-2016.12 1 100万关于spectral集和spectral拓扑若干问题研究国家自然科学基金（地区）项目2017.01-2020.12 1 36万直接经费教师教育U-G-S合作模式的实践研究全国教育科学“十三五”规划单位资助教育部规划课题2019.01-2021.06 1 11万

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

拓扑学和Domain理论：以数学与理论计算机科学的交叉为背景，主要研究拓扑结构与序结构的交叉，尤其是sober空间及相关弱sober空间等非Hausdorff空间的性质，同时与代数结构和范畴结构相关联，并在拓扑、格论、逻辑、分析、理论计算机科学等领域获得重要应用。