陈国龙，男，凤阳县人，1966年出生，中国共产党党员，理学博士，中科院软件研究所博士后，教授，硕士生导师，安徽省学术技术带头人，全国“国际劳动节”劳动奖章获得者。安徽省计算机学会常务理事，安徽省数学学会常务理事。研究方向为数理逻辑与计算机科学。现任蚌埠学院党委书记，曾任宿州学院党委书记。政协安徽省第十三届委员会委员。
个人简历
陈国龙（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年被任命为宿州学院党委书记
11. 2020年5月被任命为蚌埠学院党委书记
任免信息
2020年5月，安徽省委决定，陈国龙同志任蚌埠学院党委委员、书记，不再担任宿州学院党委书记、委员职务。
人物平生
陈国龙教授在数理逻辑与计算机科学领域的教学及研究工作中取得了显著成就。他主持完成了国家自然科学基金、教育部科学技术重点项目、安徽省优秀青年基金、安徽省高校自然科学基金等多个科研项目，并作为主要成员参与了国家“973”项目、国家自然科学基金以及省自然科学基金等省级以上科研项目10余项。他的学术成就不仅体现在科研项目的成功，还包括在国内外核心刊物上发表的30多篇学术论文，其中10多篇论文被SCI和美国数学评论收录。陈国龙教授在2000年7月被破格晋升为教授，是安徽省学术技术带头人和安徽省中青年学科带头人。他还获得了省、部级等科研奖励7项，以及省级教学成果特等奖、一等奖4项。
成就及荣誉
陈国龙教授的研究成果在模型论领域得到了广泛认可，获得了多项荣誉和奖励：
- 1999年在模型论中一些热点问题的研究中获得安徽省高校科技进步奖二等奖；
- 2000年在模型论及其应用中获得安徽省级科技成果奖；
- 2000年在Saturated Models中获得安徽省第三届自然科学优秀学术论文二等奖；
- 2000年在模型论中的拓扑学方法中获得中国博士后学术大会优秀论文三等奖；
- 2001年分别被评为“安徽省模范教师”“安徽省师德先进个人”，并被授予“安徽省优秀共产党员”称号；
- 2002年9月被评为安徽省先进工作者；
- 2003年在模型论的研究与应用中获得安徽省高校优秀科技成果三等奖；
- 2003年5月被授予“全国五一劳动奖章获得者”荣誉称号；
- 2005年获安徽省优秀教学成果一等奖。
个人作品
出版著作
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