Past PhD Students

Dr. Domenico Corapi
(April 2008 – December 2011)

Developed a new symbolic learning framework and systems for non-monotonic inductive logic programming using meta-level abductive search. Two learning systems have been implemented in Prolog and ASP,  known as the TAL (Top-down Abductive Learning) and ASPAL (ASP-based Abductive Learning). To have  access to these systems please email Dr. Alessandra Russo.


Dr . Jiefei Ma
(October 2007 – September 2011)

Jiefei developed the first distributed abductive reasoning with constraints algorithm and system. The approach has been applied to tackle the problem of formal verification of distributed policies in coalition networks within the ITA project Policy Based Security and Network Management. His work has provided valuable contributions to the area of Artificial Intelligence in Distributed Systems.


Dr Timoty Kimber
(October 2007 – September 2011)

He developed a new semantic foundation to non-monotonic inductive learning and a novel algorithm for learning connected theories. The idea is to recursively call a learning task using failure cases as secondary examples of inter-dependent concepts.  The system developed is called Imparo. To have access to this system, please email Dr. Alessandra Russo.


Dr. Luke Dickens
(April 2006 – April 2009)

Luke’s PhD research was focused on pure Machine Learning, in particular in the area of multi-agents  reinforcement learning. Since April 2009 he has been covering various subsequent post-doc research associate positions at Imperial College working on a variety of Machine Learning applications such as crowd sourcing, privacy and information flow models.


Dr. Fabrizio Maggi (visiting PhD student March – September 2009)

During his visit, Fabrizio collaborated on the development of a formal framework for the automated revision of Process Models, expressed as Petri Nets, using Inductive Learning.


Dr Dalal Alrajeh
(October 2005 – September 2009)

She developed a novel framework for integrating model checking and symbolic learning in order to support rigorous and automated elaboration and revision of  behavioural models of software systems. Dalal is currently Junior Research Fellow at the department of Computing and member of the SPIKE  group.


Dr William Heaven
(March 2003 – September 2007)

William’s PhD contribution has been in the area of Analysis Patterns in Object Oriented Formal Specifications. After covering the role of post-doc research associated at UCL for few year, William is now feature editor at the new Scientist Magazine.


Dr Arosha Bandara
(October 2002 – September 2005)

He worked in the area of policy analysis and refinement and proposed a logic-based abductive inference process for model checking policy specifications, and for refining software system goals into low-level policy management rules. Arosha is currently senior lecturer at the Open University.


Dr Oliver Ray
(October 2002 – January 2005)

He proposed a seminal approach for integrating abductive and inductive reasoning solving a 10 year old research problem. The developed systems, called HAIL, has then further extended to the case of non-monotonic symbolic learning, currently known as the XHAIL system. For access to these systems please email  Dr. Alessandra Russo. Oliver’s PhD thesis was shortlisted among the top 3 PhD thesis in 2005 for the British Distringuished PhD Award.