Student Alumni

Former postgraduate students

Student PhD Title Year Where are they now?
Andriana Gkaniatsou Automated Analysis of the Smart-Card Application Protocol Data Unit 2017 School of Informatics
Kwabena Nuamah Using Rich Inference to find Novel Answers to Questions 2017 School of Informatics
Amy Guy The Presentation of Self on a Decentralised Web 2017 Open Data Services
Paolo Pareti Representation and Execution of Human Know-How on the Web 2017 Southampton University
Alan White CAMP-BDI An approach for Multiagent Systems Robustness through Capability-aware Agents Maintaining Plans 2017  
Daniel Raggi Searching the space of representations:  reasoning through transformations for mathematical problem solving 2016 University of Cambridge
Herry Automated Planning for Cloud Service Configurations 2015 University of Glasgow
Yuhui Lin The Use of Rippling to Automate Event-B Invariant Preservation Proofs 2015 School of Informatics
Petros Papapanagiotou A Formal Verification Approach to Process Modelling and Composition 2014

School of Informatics

Phil Scott Ordered Geometry in Hilbert's Grundlagen der Geometrie 2014 Symphonic Software
Gary McGilvary Ad-hoc Cloud Computing 2014 Cloudreach
Laura Meikle intuition in Formal Proof: A Novel Framework for Combining Mathematical Tools 2013 Lambada Jam
John Hewson Constraint-Based Specifications for System Configurations 2013 Entrepreneur
Sripirya G Implementation methodology for using concurrent and collaborative approaches for theorem provers 2013  
Michael Chan Ontology Evolution in Physics 2013  
Shariar Bijani Securing Open Multi-agent Systems Governed by Electronic Institutions 2013 Shahed University
Ashwag Maghraby Bridging the Specification Protocol Gap in Augmentation 2013  
Xi Bai Peer to Peer, Multi-agent Interaction Adapted to a Web Architecture 2013 BBC
Matthew Crosby Heuristic Multi-Agent Planning 2013  
Chee Sun Liew   2012 University of Malaya
Fan Zhu Distributed multi-modal image collection and analysis 2012  
Yin Chen   2011 The EGI Foundation
George Chistelis Automated norm Synthesis 2011  
Thomas French Evolutionary Optimisation of Network Flow Plans for Emergency Movement in the Built Environment 2011 Sandtable
Sean Wilson Supporting Dependently Typed Functional Programming with Proof Automation and Testing 2010 Software Developer
Andrew Priddle-Higson Computational models of ontology evolution in legal reasoning 2010 Amazon
Paul Martin Social Group Formation in Multi-agent Systems 2010  
Iain Wallace Practical Social Reasoning in the ESB Frameworkd 2010  
Moa Johansson Automated Discovery of Inductive Lemmas 2009 Chalmers University, Gothenburg
Paolo Besana Predicting the Content of Peer to Peer Interactions 2009  
Adam Barker Flexible Service Choreography 2007 University of St Andrews
John Kingston Multi-Perspective Modelling for Knowledge Management and Knowledge Engineering 2007 Brighton University
Alison Pease A Computational Model of Lakatos-style Reasoning 2007 University of Dundee
Li Gui Enacting a Decentralised Workflow Management System on a Multi-agent Platform 2007  
Hazel Duncan The Use of Data-Mining for the Automatic Formation of Tactics 2007  
Gerhard Wickler Using Expressive and Flexible Action Representations to Reason about Capabilities for Intelligent Agent Cooperation 2007 Osthus GmbH
Natasha Correia Queiroz Lino Semantic Based Support for Visualisation in Complex Collaborative Planning Environments 2007 Federal University of Paraiba
Lucas Dixon A Proof Planning Framework for Isabelle 2006 Google
Fiona McNeill Dynamic Ontology Refinement 2006 Heriot Watt University
Alex Heneveld Using features for automated problem solving 2006  
Clauirton de Albuquerque Siebra

A Unified Approach to Planning Support in Hierarchical Coalitions

2005 Universidade Federal da Paraíba (UFPB), Brazil
Daniel Winterstein Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain 2004 Winterwell Associates
Graham Steel Discovering attacks on security protocols by refuting incorrect inductive conjectures 2004  
Ewen Maclean Using proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis

2003

Aesthetic Integration
Simon Colton Automated Theory Formation in Pure Mathematics 2001 Goldsmith University
Jessica Chen-Burger Formal Support for Business Process Modelling 2001 Heriot Watt University
Yannis Kalfoglou Deploying Ontologies in Software Design 2000