- 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