About Us:

Hello! TheoryMine is a company dedicated to automated theory exploration: we develop artificial intelligence techniques to discover new mathematical concepts and automate proof. By providing some fun applications of theorem proving (e.g. naming new theorems!), we sponsor more serious applications of automated reasoning technology. In particular, we are working on verification tools to make software more reliable and safe to use, as well as tools to ease the exploration of new mathematical concepts

Our software builds on decades of research by the international community in automated reasoning, notably the work in interactive theorem proving as well as automated deduction. They provide amazing software which deserves to be more widely used and appreciated.

TheoryMine was started by a group of researchers in the School of Informatics at University of Edinburgh, we are:

Alan Bundy

Managing Director of TheoryMine and Professor of Automated Reasoning in the School of Informatics, University of Edinburgh, FRS, FREng, FACM.
Flaminia Cavallo

Graduated in Artificial Intelligence and Mathematics from the University of Edinburgh.
Lucas Dixon

Formerly CTO of TheoryMine and senior researcher with the Mathematical Reasoning Group, part of the Centre for Intelligent Systems and their Applications, in the School of Informatics, at the University of Edinburgh.

Moa Johansson

Assistant professor at Chalmers University of Technology in Gothenburg, Sweden. She did her PhD in the Mathematical Reasoning Group at the University of Edinburgh.