Algorithms and Data Analysis Group
Algorithms are fundamental objects of study in computer science. Algorithmic processes are found everywhere in the world around us, not just in computers. The research within the Algorithms and Data Analysis (ADA) group reflects the broad applicability and impact of data and algorithms to society. Our members are addressing fundamental and applied problems across theoretical computational complexity to machine learning for computer vision and data-driven solutions for operational research, digital privacy and health. Particular emphasis is placed in developing algorithmic solutions and concrete implementations for various applications in sectors such as health, security, and finance.
Group Lead: Dr Sophia Tsoka
Cybersecurity Group
Cyber Security has become a central issue in our society. Interaction between people’s personal devices and the rest of the connected world is nearly continuous and with technology’s exponential growth its scope will only evolve. The Cybersecurity (CYS) group focuses on the design, modelling, analysis, verification and testing of networks and systems. Our work aims to enable systems to be resilient to malicious compromise and to tackle privacy problems that are important to industry, society and everyone living in a technologically dependent world. Our members are addressing theoretical and applied problems across AI and machine learning for cybersecurity and privacy, formal and automated approaches for verification and testing to ethics, privacy, trust, and transparency for security and safety.
CYS is part of the cross-departmental KCL Cybersecurity Centre (an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research) and also collaborates with government and law-enforcement agencies.
Group Lead: Professor Luca Viganò
Distributed Artificial Intelligence Group
Artificial intelligence continues to evolve rapidly, accelerating innovation in machine learning, health care, computational game theory, autonomy, and more. The Distributed Artificial Intelligence group is at the forefront of researching and enabling novel AI advances and discoveries. We explore social and technological contexts of interacting intelligent entities, including multi-agent systems, agent-based simulation, crowd computing, semantic web, provenance, norms, incentives, knowledge graphs, trust and reputation.
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 responsible AI. Our members develop computational models for analysing social, political and economic phenomena to improve the effectiveness and fairness of policy and practice and to build socio-technical systems that combine machine algorithms with human and social capabilities.
Group Lead: Dr Maria Polukarov
The goal of human-centred computing is to create technologies that better meet human needs, through studying aspects of relationships between people, society and computing. The Human Centered Computing group is concerned with the design, development and evaluation of systems with which humans interact and engage in complex and varied ways. Our members investigate various aspects of intelligent interaction between people and machines with a focus on computer graphics, data visualisation, human-computer interaction, machine learning and natural language processing.
With a commitment to cross-disciplinary rigour, we make research contributions in diverse fields including mental health, accessibility, information visualisation, multi-modal interfaces, visual analytics and more. Our objective is to enrich human interactions with the digital world and transform our lives, in exactly the ways we want them to.
Group Lead: Dr Rita Borgo
The integration of knowledge into computer systems is becoming increasingly essential in the development of automated solutions to complex problems, which would otherwise require a high-level of human expertise. Knowledge must be structured to reflect human reasoning and use of logic to ultimately enable the system to solve complex tasks such as diagnosing a medical condition. The Reasoning and Planning (RAP) group researches symbolic models for reasoning involving argumentation, knowledge representation and planning, and the combination of reasoning, planning and machine learning approaches. Research within the RAP group considers both individual and multi-entity reasoning and planning, which may involve humans as well as AI systems.
Group Lead: Dr Andrew Coles
The Software Systems (SSY) group investigates methods, models and tools for all stages of the software systems lifecycle. Our research is at the intersection of modelling, design and engineering of software systems, automated reasoning about system properties, and mathematical foundations of modelling computing systems. Our members investigate the applications of logic and mathematics to broad computer science with the objective of advancing theory and practice in the use and development of software systems. The SSY group is at the forefront of researching and enabling novel computing advances which contribute to numerous industrial applications including autonomous systems, transportation, logistics, and safety of complex software.
Group Lead: Mohammad Reza Mousavi
