毕业时间

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空间的性质，同时与代数结构和范畴结构相关联，并在拓扑、格论、逻辑、分析、理论计算机科学等领域获得重要应用。