研究与教学兴趣

  • 方程逻辑
  • 几何
  • 自动推理