ICT Pioneers 2015: Thomas Gransden

Thomas Gransden, University of Leicester

  • Research: His research includes automated reasoning and machine learning. The main output of his research is SEPIA – a tool that uses machine learning algorithms to improve the amount of proof automation in the popular Coq theorem prover.