Congratulations to Yaqing Jiang who has has successfully completed his studies and will be awarded the degree of Doctor of Philosophy for this thesis titled “Machine learning for inductive theorem proving” at the Graduation Ceremony in November. His examiners were Florian Kammueller (External) and Alan Bundy (Internal).