Present Students
Co-supervised with Dr Alessandra Russo
- Graham Deane (Teaching Scholar, 2011-)
- Calin-Rares Turliuc (2012-)
- Mark Law (Teaching Scholar, 2013-)
- Milo Wall Coomber (2014-)
Co-supervised with Dr Fariba Sadri
- Stephen Butler (2016-)
Completed Students
- Nataly Maimari (2015) An integrated platform for gene network inference and validation (Co-supervised with Dr Alessandra Russo and Prof. Rob Krams)
- Duangtida Athakravi (2016) Inductive Logic Programming using Bounded Hypothesis Space (Co-supervised with Dr Alessandra Russo)
- Tim Kimber (2012) Learning Definite and Normal Logic Programs by Induction on Failure (Co-supervised with Dr Alessandra Russo)
- Jiefei Ma (2011) Distributed Abductive Reasoning: Theory, Implementation and Applications (Co-supervised with Dr Alessandra Russo)
- Luke Dickens (2009) Learning to Act Stochastically (Co-supervised with Dr Alessandra Russo)
- Bjorn Bjurling (2006) A Labelled Deductive System for Reasoning about Random Experiments
- Seyed R Mousavi (2006) Teleo-Reactive Agents
- Oliver Ray (2005) Hybrid Abductive Inductive Learning (Co-supervised with Dr Alessandra Russo)
- Artur Garcez (2000) Neural Symbolic Learning Systems
- Luis Lamb (2000) Labelled Natural Deduction Systems for Conditional Logics of Normality
- Sanjay Mogdil (1998) A Labelled System for Practical Reasoning (Jointly supervised with Professor Dov Gabbay)
- Rosli Bin Omar (1998) Integrating Consistency into Fault Diagnosis with Compiled Knowledge
- Alessandra Russo (1996) Modal Logic as a Labelled Deductive System (Co- supervised with Professor Dov Gabbay)
- Dimitris Raptis(1996) Reduction Rules for Resolution Based Theorem Proving
- Mark Dawson (1990) A Generic Logic Environment