Research and teaching interests

  • Equational logic
  • Geometry
  • Automated reasoning