ICCM实验室:目前有四个主要的研究方向，分别是是网格计算和应用、定理证明及其在形式化验证中的应用、网络数学教育（WME）、数学计算和数学定理证明。四个研究方向的基础是计算机数学和网络计算，围绕它们的理论研究和应用可以派生出各种的研究课题。
----基础研究是创新的源泉，只有坚持不懈地进行基础理论的研究，才能使实验室的生命力永不枯竭。