Awards

Symbolic Computation + Satisfiability Checking (SC^2) 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