The research activity conducted by the group is also in collaboration with other members of Distributed Software Engineering section as well as academics and researchers at other international institutes, industry and universities. Below is a list of our close collaborators together with the areas in which they collaborate. For further details on their research expertise please see their own websites.
Local Academic collaborators
- Professor Morris Sloman collaborator in the areas of policies for network and distributed system management and ubiquitous systems.
- Professor Jeff Kramer experts in behaviour analysis, requirements analysis and adaptive software systems. He is a key collaborator in the area of model-based requirements engineering, model synthesis and adaptation.
- Dr Emil Lupu, collaborator in the areas of policy-based systems and adaptive systems.
- Dr Sebastian Uchitel experts in behaviour modelling and analysis. He is a key collaborator in the area of automated behaviour model extraction, evolution and repair.
External Academic Collaborators
- Professor Jorge Lobo (Universitat Pompeu Fabra, Spain) co-investigator in the ITA project and collaborator in the area of network and security management, declarative networking and Artificial Intelligence.
- Professor Bashar Nuseibeh (Open University UK) principal investigator on the Privacy Dynamic project. Collaborator in the area of privacy dynamics in software engineering.
- Professor Tony Kakas (University of Cyprus), collaborator in the area of Computational Logic, Abduction and logic-based modelling of biological regulatory networks.
- Professor Ken Satoh (National Institute of Informatics (NII), Japan). His research interests include Logical Foundation of Artificial Intelligence, Nonmonotonic Reasoning and Logic Programming. Member of a Memorandum of Understanding (MoU) agreement between Imperial College and NII in the area of speculative reasoning, analysis and revision of normative models in multi-agent systems.
- Professor Rob Krams (BioEngineering, Imperial College). Experts in combining engineering techniques and genomics to study vascular biology of vessel walls. Collaborator in the area of logic-based modelling of gene regulatory networks.
- Dr Artur d’Avila Garcez (City University, London), expert in neuro-symbolic computation. He is a collaborator in the area of symbolic learning.
- Dr Robert Miller (University College London), expert in Event Calculus and reasoning about actions. Key collaborator in the area of event-based modelling and knowledge representation.
- Dr Arosha Bandara (Open University, UK), collaborator in the area of self-managing adaptive systems.
- Professor Mark Levine (University of Exeter), expert in socio-psycology. Investigator on the Privacy Dynamic project and collaborator in the area of modelling social identity and its role in pro-social and anti-social behaviour.
External Industrial Collaborators
- Dr Frank Le (IBM Watson Research Centre, US) collaborator in the area of algorithms and tools for formal verification of network protocols.
- David Wood (IBM Watson Research Centre, US). Senior Software Engineering and collaborator in the development of systems for distributed declarative computations.
- Dr Prithwish Basu (Raytheon BBN Technologies) Senior Scientist expert in the areas of mobile ad-hoc networks (MANET) and wireless networks. Collaborator in the ITA project on Declarative Networking solutions for declarative multicasting distributed protocols.