The integration of knowledge into computer systems is becomwordcloufing increasingly essential in the development of automated solutions to complex problems, which would otherwise require a high-level of human expertise. For example, within the context of pervasive systems, devices have to be able to automatically acquire knowledge about the environment, the context and user’s behaviours, with minimal human intervention, in order to predict and adapt. Knowledge has to be structured, so as to reflect human reasoning and use of logic. At the same time, it may involve probabilistic and/or statistical forms of inference to represent and reason under uncertainty. Modeling has also to be close to how experts solve problems in real life – be amenable to iterative processes of knowledge acquisition, interpretation and elaboration that can be more naturally intertwined with the complex dynamic nature of the environment and the systems that pervasively act within it.

The SPIKE research activities, lead by Dr Alessandra Russo, focus on the development of frameworks, algorithms, and effective and scalable systems for engineering structured and probabilistic knowledge. Solutions can be used whether the knowledge is an integrated part of a complex system, or a model of complex dynamic system behaviour. Theoretical contributions are in the areas of Artificial Intelligence, Multi-Agent Systems, Machine Learning, Logic-based and Probabilistic inference and Inductive Logic Programming. Engineering efforts are in particular, but not exclusively, in Software Engineering, Pervasive and Ubiquitous Systems, Distributed Systems, Security, and Bioinformatics.

 

Delicious Twitter Digg this StumbleUpon Facebook

Projects

  • Privacy Dynamics: Learning from the Wisdom of Groups

    To study privacy management by investigating how individuals learn and benefit from their membership of social or functional groups, and how such learning can be automated and incorporated into modern mobile and ubiquitous technologies that increasingly pervade society.

    Contact: Dr Alessandra Russo

    [+] more
  • Declarative Networking for Network and Security Management of Hybrid and Dynamic Networks

    This project is funded within the International Technology Alliance programme in Network and Information Science between UK (MoD) and US (ARL). It aims to develop fundamental underpinnings for secure hybrid wireless networking that enable adaptable and interoperable communication and information services for coalition operations.

    Contact: Dr Alessandra Russo

    [+] more
  • Allow – Ensemble

    This is a Future and Emerging Technology (FET) project funded by the European Commission under the 7th Framework Programme, as part of the Pervasive Adaptation Initiative (PerAda). The recent advances in pervasive technologies enable construction of large-scale socio-technical systems which tightly interweave humans and their social structures with technology. The overall goal of Allow Ensembles is to develop a new design principle and establish a new foundational framework for collective adaptive systems (CAS) based on the concept of cell ensembles.

    Contact: Dr Naranker Dulay

    [+] more
  • Declarative Networking for Agile Security/Network Management and Control

    Develop technologies and toolkits for joint network/security management and control of coalition networks. Specifically, develop integrated declarative approach for the specification of security and overlay network management, and evaluation and analysis toolkit for robustness assurance.

    Contact: Dr Alessandra Russo

    [+] more
  • Applying Logics to Systems

    This project is an international research staff exchange agreement within the FP7 People Programme, aimed to facilitate mobility and collaboration between Argentina and Europe on the use of formal methods and logic to model, understand and analyse systems.

    Contact: Sebastian Uchitel

    [+] more
  • PRIMMA: Privacy Rights Management for Mobile Applications

    To investigate knowledge driven mechanisms for protecting private information, typically generated from ubiquitous computing applications, from malicious or accidental misuse. To explore privacy requirements across the general population for a specific set of ubiquitous computing technologies and use them to produce a Privacy Rights Management (PRM) framework that enables users to specify privacy preferences, to help visualize them, to learn from the user's behaviour what their likely preferences are, and to enforce privacy policies.

    Contact: Professor Morris Sloman

    [+] more
  • AEDUS: Adaptable Environments for Distributed Ubiquitous Systems

    A five year platform grant addressing issues in: adaptive software environments; policy and security; and requirements engineering and modelling. The first Platform Grant completed 31 July 2007 but it was renewed for a further 5 years. It provided baseline funding for the DSE section.

    Contact: Professor Morris Sloman

    [+] more
  • Policy Based Security and Network Management

    Explore methodologies, algorithms and tools for analysis of policy-based specifications and policy-based security management. It is a five years project in collaboration with Royal Holloway College and IBM Thomas J. Watson Research Centre.

    Contact: Professor Morris Sloman

    [+] more