劉全

2004年畢業於吉林大學計算機軟體與理論專業，獲博士學位，南京大學軟體新技術國家重點實驗室博士后。

軟體系統分析與設計、分散式資料庫檢索及修正、網路信息安全及處理、地理信息系統、管理信息系統及決策支持系統、機器學習及自動推理等。目前部分研究被國家自然基金項目“基於tableau的非經典邏輯經典化的自動定理證明研究”和“面向tableau模型的邏輯強化學習理論及方法研究”、教育部重點項目“網路中不相容信息的檢索及修正”、國家博士后基金項目“基於強化學習的個性化搜索引擎的研究”、江蘇省博士后基金“部分感知強化學習方法研究及實現”、江蘇省高校基金“分散式資料庫不相容信息處理技術研究”等課題資助。

近年來，共主持了“石油勘探開發分散式資料庫建設”、“基於tableau的非經典邏輯經典化的自動定理證明研究”等國家級項目4項，主持了“採油工程信息可視化系統”、“油田信息處理網路系統”、“非經典邏輯 tableau研究”等省部級和市（局）級科研項目10多項，先後在國內外學術會議及《計算機學報》、《計算機研究與發展》、《計算機科學》等國內核心期刊和統計源期刊上發表論文六十多篇，其中 10篇被SCl檢索，32篇被 EI檢索。

獲省部級科技進步獎 2項，市（局）級科技進步獎 8項。