人物經歷
2004年畢業於吉林大學計算機軟體與理論專業,獲博士學位, 南京大學軟體新技術國家重點實驗室博士後。
研究方向
軟體系統分析與設計、分散式資料庫檢索及修正、網路信息安全及處理、地理信息系統、管理信息系統及決策支持系統、機器學習及自動推理等。目前部分研究被國家自然基金項目 “基於tableau的非經典邏輯經典化的自動定理證明研究”和“面向tableau模型的邏輯強化學習理論及方法研究”、教育部重點項目 “網路中不相容信息的檢索及修正”、國家博士後基金項目“基於強化學習的個性化搜尋引擎的研究”、江蘇省博士後基金“部分感知強化學習方法研究及實現”、江蘇省高校基金 “分散式資料庫不相容信息處理技術研究” 等課題資助。
主要貢獻
近年來, 共主持了“石油勘探開發分散式資料庫建設”、“基於tableau的非經典邏輯經典化的自動定理證明研究”等國家級項目4項,主持了“採油工程信息可視化系統”、“油田信息處理網路系統”、“非經典邏輯 tableau研究”等省部級和市(局)級科研項目10多項,先後在國內外學術會議及《計算機學報》、《計算機研究與發展》、《計算機科學》等國核心心期刊和統計源期刊上發表論文六十多篇,其中 10篇被SCl檢索,32篇被 EI檢索。
獲獎記錄
獲省部級科技進步獎 2項,市(局)級科技進步獎 8項。