I have recently completed a project on the verification of multi-agent systems using the model checker MCMAS with Dr Alessio Lomuscio. funded by the EPSRC project "Methods of reliability-control for autonomous underwater vehicles". I collaborated with Professor Sandor Veres and Dr Levente Molnar of the Southampton University School of Engineering Sciences to verify the control system of an autonomous underwater submarine at the National Oceanography Centre. Previously I worked with Dr Gerald Luettgen, on the EPSRC project "New-generation symbolic model checkers for verifying asynchronous systems". I completed my PhD at the University of York under Gerald's supervision, during which time I conducted collaborative research at the University of California Riverside and the National Institute of Aerospace (affiliated to NASA Langley Research Center). My thesis focus was parallelising symbolic state-space generation algorithms on shared memory architectures. Progam Committee Membership and Reviewing Reviewer IEEE Transactions on Parallel and Distributed Systems Program Committee Member, The Twenty-second International Joint Conference on Artificial Intelligence (IJCAI-11), July 2011, Barcelona, Spain. Non PC-Reviewer, The 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), September 2009, Milan, Italy. Non PC-Reviewer, 3rd International Workshop on Systems Software Verification (SSV 08), February 2008, Sydney, Australia.