計算機軟件和理論
| 研 究 方 向 | 研 究 內 容 |
| 邏輯與計算機基礎理論 | 研究計算機科學的基礎理論包括理論計算機系統的研究，及其在實時計算、并行計算、程序驗證等方面的應用，數理邏輯、模型論、自動機理論、數據庫理論、計算復雜性理論等方面的研究，及其對計算機的應用，同時研究一些數學問題的判定和計算復雜性。 |
| 人工神經網絡 | 從數學的角度研究人工神經網絡，揭示人工神經網絡的數學本質、神經網絡隱層搭的意義、權值、神經元之間的連接方面的問題及有關的數學結構、數學方法的圖形表示；依據神經元的硬件實現，及有關的數學理論和數學方法如何設計用于神經網絡計算機的芯片問題。 |
| 數學軟件與計算機代數 | 將計算機技術與數學研究有機地結合，為數學研究提供新的思想和方法，研究一些數論函數的多項式，非線性代數方程的求解問題以及交換代數，代數、幾何的某些理論的機械化方法和專用軟件設計，連續計算的復雜性和小波理論及其應用。 |
| 計算機輔助教學軟件的研究和開發 | 研究如何將機器證明、機器判證等方面引入中學以上數學教學軟件，使課件具有高層次的交互能力和智能，研究與數學教育軟件相關的復雜性、可行性和優化問題，研究在數學教育的現代化進程中如何發揮計算機輔助教育的作用及有關的規律和可能遇到的問題。 |
