• MathCheck received 170 years of compute time and 20 TB of storage from DRAC in 2023
  • Winner of the 2020 AAECC best paper award with a €4,000 prize
  • Symbolic Computation and Satisfiability Checking (SC2) Track Invited Paper at CASC 2016
  • IJCAI 'Sister Conference Best Paper Track' Invited Paper 2016
  • CADE 2015 Paper on MathCheck selected for JAR Special Issue on Best Papers at CADE 2015