Duo
Wang: Bridging Computer Science
with Neuroscience Towards a New Understanding of
Reasoning. (First supervisor with Pietro Lio)
Edward
Ayers: Automated
Mathematician. (First supervisor with
Tim Gowers in Maths Department)
Aaron
Stockdill: Automating
representation change across domains for
reasoning.
Agnieszka Slowik: Machine Learning in Automated Theorem Proving. (First supervisor with Sean Holden)
Paul Scherer: Utilization of Graph Structured Data in Machine Learning for Oncology. (First supervisor with Pietro Lio)
Dmitry Kazhdan: Improving Interpretability of Machine Learning Systems. (First supervisor with Pietro Lio)
Dimitrios Deslis: Developing an Interactive Computer Support System to Facilitate Teacher Learning of Proof-related Instruction in Mathematics. (First supervisor with Andreas Stylianides in Education Faculty)
Mei Yang: Designing a Computer-assisted System For Prospective Mathematical Teachers’ Training of Proof-Related Instruction
. (First supervisor with Andreas Stylianides in Education Faculty)