陈国龙，男，安徽凤阳人，1966年出生，中共党员，理学博士，中科院软件研究所博士后，教授，硕士生导师，安徽省学术技术带头人，全国“五一”劳动奖章获得者。安徽省计算机学会常务理事，安徽省数学学会常务理事。研究方向为数理逻辑与计算机科学。
人物履历
1983.9-1987.7 在
淮北煤炭师范学院数学系学习，获学士学位
1987.8-1990.8 在淮北煤炭师范学院数学系任助教
1990.9-1993.7 在北京师范大学数学系学习，获硕士学位
1993.8-1995.8 在淮北煤炭师范学院数学系任讲师
1995.9-1998.7 在北京师范大学数学系学习，并获理学博士学位
1998.8-2000.5 在中国科学院软件研究所从事博士后研究工作
2000.5-2003.6 任淮北煤炭师范学院（今淮北师范大学）计算机系主任、教授
2003.6-2010.11 任
淮北师范大学副校长
2010.1-任宿州学院党委副书记，院长
2020.05任蚌埠学院党委书记。
政协安徽省第十三届委员会委员
任免信息
2020年5月，安徽省委决定，陈国龙同志任蚌埠学院党委委员、书记，不再担任宿州学院党委书记、委员职务
主要成果
主要从事
数理逻辑与计算机科学的教学及研究工作。主持完成了
国家自然科学基金、教育部科学技术重点项目、安徽省优秀青年基金、安徽省高校自然科学基金等多个科研项目，并作为主要成员参与了国家“973”项目、国家自然科学基金以及省自然科学基金等省级以上科研项目10余项。主编规划教材2部。获得省、部级等科研奖励7项，获得省级教学成果特等奖、一等奖4项。在国内外核心刊物上发表学术论文30多篇，其中10多篇论文被SCI和美国数学评论收录。
出版著作
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
获奖荣誉
1999年在模型论中一些热点问题的研究中获得安徽省高校科技进步奖二等奖；
2000年7月被破格晋升为教授。是安徽省学术技术带头人和安徽省中青年学科带头人；
2000年在模型论及其应用中获得安徽省级科技成果奖；
2000年在Saturated Models中获得安徽省第三届自然科学优秀学术论文二等奖；
2000年在模型论中的拓扑学方法中获得中国博士后学术大会优秀论文三等奖；
2001年分别被评为“安徽省模范教师”、“安徽省师德先进个人”，并被授予“安徽省优秀共产党员”称号；
2002年9月被评为安徽省先进工作者；
2003年在模型论的研究与应用中获得安徽省高校优秀科技成果三等奖；
2003年5月被授予“全国五一劳动奖章获得者”荣誉称号；
2005年获安徽省优秀教学成果一等奖；