陳國龍

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 任淮北煤炭師範學院（今淮北師範大學）計算機系主任、教授 ^[3] 

2003.6-2010.11 任淮北師範大學副校長

2010.1-任宿州學院黨委副書記，院長

2013 任宿州學院黨委書記

2020.05任蚌埠學院黨委書記。 ^[1] 

政協安徽省第十三屆委員會委員 ^[5] 

2020年5月，安徽省委決定，陳國龍同志任蚌埠學院黨委委員、書記，不再擔任宿州學院黨委書記、委員職務 ^[1-2] 

數理邏輯與計算機科學的教學及研究工作。主持完成了國家自然科學基金、教育部科學技術重點項目、安徽省優秀青年基金、安徽省高校自然科學基金等多個科研項目，並作為主要成員參與了國家“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年在模型論中一些熱點問題的研究中獲得安徽省高校科技進步獎二等獎； ^[4] 

2000年7月被破格晉升為教授。是安徽省學術技術帶頭人和安徽省中青年學科帶頭人；

2000年在模型論及其應用中獲得安徽省級科技成果獎；

2000年在Saturated Models中獲得安徽省第三屆自然科學優秀學術論文二等獎；

2000年在模型論中的拓撲學方法中獲得中國博士後學術大會優秀論文三等獎；

2001年分別被評為“安徽省模範教師”、“安徽省師德先進個人”，並被授予“安徽省優秀共產黨員”稱號；

2002年9月被評為安徽省先進工作者；

2003年在模型論的研究與應用中獲得安徽省高校優秀科技成果三等獎；

2003年5月被授予“全國五一勞動獎章獲得者”榮譽稱號；

2005年獲安徽省優秀教學成果一等獎；