陈国龙

陈国龙

陈国龙（1966.5-）男，安徽凤阳人。汉族。中共党员，理学博士，教

授，硕士生导师。现为宿州学院党委书记。

1.1983.9-1987.7, 在淮北煤炭师范学院数学系学习，获学士学位

2.1987.8-1990.8, 在淮北煤炭师范学院数学系任助教

3.1990.9-1993.7, 在北京师范大学数学系学习，获硕士学位

4.1993.8-1995.8, 在淮北煤炭师范学院数学系任讲师

5.1995.9-1998.7, 在北京师范大学数学系学习，并获理学博士学位

6.1998.8-2000.5, 在中国科学院软件研究所从事博士后研究工作

7.2000.5-2003.6,任淮北煤炭师范学院（今

淮北师范大学

）计算机系主任、教授

8.2003.6-2010.11, 任

淮北师范大学

副校长

9.2010年11月被任命为宿州学院党委副书记，院长

10.2013年被任命为

宿州学院

党委书记。

安徽省计算机学会常务理事，安徽省数学学会常务理事。研究方向为数理逻辑与计算机科学。

已主持或参加国家级和省部级科研项目近10项，获得省、部级等科研奖励7项，在国内外核心刊物上发表学术论文30多篇，其中有多篇被SCI和美国数学评论收录。2000年7月被破格晋升为教授。是安徽省学术技术带头人和安徽省中青年学科带头人。2001年分别被评为“安徽省模范教师”、“安徽省师德先进个人”，并被授予“安徽省优秀共产党员”称号；2002年9月被评为安徽省先进工作者，2003年5月被授予“全国五一劳动奖章获得者”荣誉称号。2005年获安徽省优秀教学成果一等奖。

2003年在模型论的研究与应用中获得安徽省高校优秀科技成果三等奖；

2000年在模型论中的拓扑学方法中获得中国博士后学术大会优秀论文三等奖；

2000年在Saturated Models中获得安徽省第三届自然科学优秀学术论文二等奖；

2000年在模型论及其应用中获得安徽省级科技成果奖；

1999年在模型论中一些热点问题的研究中获得安徽省高校科技进步奖二等奖。

出版著作

2009.10 《Visual FoxPro 6.0 程序设计教程》

2009.09 《大学计算机基础》(第二版)

范畴理论及其性质

Computational Complexity on the Logic Theory

模型论中的拓扑学方法

ASIPP微束装置计算机控制系统优化方案研究

关于高校计算机基础课的建设探讨

除环上无限方阵的分解

除环上无限方阵的对角化

除环上rcf方阵的逆方阵

无限集合的有限子集理论的等价转化

除环上rcf方阵的对角化

域上无限方阵的分解

w-范畴完全理论的特征

一阶理论的主型

一类特殊无限方阵的逆方阵

域上无限上三角方阵的逆

除环上无限方阵的逆方阵

On w-Categorical Theory

有理数理论的计算复杂性

量词消去法在完全理论证明中的应用

Saturated Models

关于饱和模型的讨论

模型集省略初探

关于一阶理论的型与可数模型的关系

On Saturated Models