Michael Färber successfully defended his PhD thesis on Learning Proof Search in Proof Assistants. Congratulations!