Andrew V. Jones

About Me

I am a final year Ph.D. student and research assistant studying in the Department of Computing at Imperial College London.

I was previously a undergraduate [2005 - 2009, 1st class honours] and a research assistant [June — October 2009] in the same department.

I work within, and am a “founding” member of, the Verification of Autonomous Systems (VAS) group.

My supervisor is Professor Alessio R. Lomuscio. My research is based on an investigation into applying conventional techniques in the advancement of model checking to agent-based verification.

In particular, my research will focus on implementing such techniques in MCMAS, a model checker for multi-agent systems.

Find me on: DBLP and


Research Interests

software verification; model checking; compositional reasoning; bounded model checking; distributed model checking; temporal epistemic logics;

Contact Details




Andrew Jones -- Ph.D. Student
Department of Computing
Room 449, Huxley Building
180 Queen's Gate
South Kensington Campus
Imperial College London
London, SW7 2AZ


MEng Individual Project

A Method of Bounded Model Checking for a Temporal Epistemic Logic Based on Reduced Ordered Binary Decision Diagrams

My prize winning undergraduate project aimed to investigate a method for BDD-based bounded model checking, as well as a technique for distributing the verification process based on “seed states”.

Various files [June 2009]: