陳國龍[宿州學院黨委書記]

陳國龍，安徽鳳陽人，1966年出生，理學博士，中科院軟體研究所博士後，教授，碩士生導師，安徽省學術技術帶頭人，全國“五一”勞動獎章獲得者。宿州學院黨委書記，兼任安徽省計算機學會副理事長，安徽省數學學會常務理事。 主要從事數理邏輯與計算機科學的教學及研究工作。近年來，主持完成了國家自然科學基金、教育部科學技術重點項目、安徽省優秀青年基金、安徽省高校自然科學基金等多個科研項目，並作為主要成員參與了國家“973”項目、國家自然科學基金以及省自然科學基金等省級以上科研項目10餘項。主編規劃教材2部。獲得省、部級等科研獎勵7項，獲得省級教學成果特等獎、一等獎4項。在國內外核心刊物上發表學術論文30多篇，其中10多篇論文被SCI和美國數學評論收錄。

個人簡歷

陳國龍

陳國龍（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