Algorithms & Data Analysis
The research scope of the Algorithms and Data Analysis (ADA) group ranges from theoretical computational-complexity issues, through design and analysis of algorithms and data structures for generic computational problems, to developing machine learning algorithms that are able to apply but also acquire new knowledge, adapt to environment, and process new inputs. Particular emphasis is placed on developing algorithmic solutions and concrete implementations for various applications, focusing on applications engaging with verticals such as health, security, and finance.
Cybersecurity
The Cybersecurity (CYS) group studies design, modelling, analysis, verification and testing of networks and systems in order to tackle cybersecurity and privacy problems that are important to industry, society and everyone living in a technologically dependent world.
Our research is both theoretical and applied, and includes cryptography, security by design, security engineering, formal methods for security and privacy, protocols and web and mobile applications, malware, access control, anomaly detection and intrusion detection, business processes and workflows, policies, trust, transparency, human factors and socio-technical systems, usable security and privacy, AI privacy, AI security, safety, information assurance and information warfare, intelligent security, ethical hacking, cybercrime forensics and statistics.
Numerous industrial applications include network security solutions, cyber-physical systems, Internet of Things, e-health. We also collaborate with governmental and law-enforcement agencies.
Distributed Artificial Intelligence
The Distributed Artificial Intelligence group explores the use of AI in social and economic contexts where an intelligent entity may be interacting with other entities. The group marries artificial intelligence expertise with social, political and economic theories and data to pursue research that has strong technological and societal relevance and benefit. We take inspiration from tools and techniques in human societies for the engineering of effective decentralised technology, and develop computational models for analysing social, political and economic phenomena to improve the effectiveness and fairness of policy and practice.
Human Centred Computing
The Human Centred Computing (HCC) group is concerned with the design, development and evaluation of systems with which humans interact and engage in complex and varied ways, with interest in visualisation, natural language processing and human-computer interaction. This newly created group, building on its activity on empirical designs and visual analytics, will seek to appoint staff to conduct inter-disciplinary research focusing on human involvement with systems. HCC’s aim is to develop a recognized international expertise in empirical design, user centred methodologies, visual analytics, information visualization, natural language processing, multi-modal interfaces, human factors, and human computer interaction.
Reasoning and Planning
The Reasoning and Planning (RAP) group focusses on the fundamental Artificial Intelligence challenge of creating, representing and reasoning with expressive models of the world, with particular strengths in dealing with complex systems and in reasoning with information that is uncertain, incomplete or subjective. Research within the RAP group considers both individual and multi-entity reasoning and planning, which may involve humans as well as AI systems.,
Software Systems
The Software Systems (SSY) group studies design, modelling and engineering of software systems, reasoning about systems, and algorithms and tools for verification of software. An important part of our activities is the research in applications of logic and mathematics to broad computer science. Numerous industrial applications include autonomous systems, transportation, logistics, and safety of complex software.
