The Department of Informatics has an extensive research profile, with major externally funded projects, a strong publication profile and significant research activity. Our research is organised around our research groups, and you can find details of the range of current research projects and interests on the Department's research pages.
If you are interested in joining us to undertake PhD research, you should identify topics and academic staff in your area of interest. If you cannot find your chosen topic or area on our individual research section or subgroup pages, contact a relevant member of academic staff for further information and then follow the application procedure.
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.
Requests for further information about Algorithms and Data Analysis should be directed to the Head of Group, Costas Iliopoulos: email@example.com (on sabbatical in 2018/19, please contact another member of the group for any enquiries.
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.
Requests for further information about Cybersecurity should be directed to the Head of Group, Professor Luca Viganò: firstname.lastname@example.org
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.
Requests for further information about Distributed Artificial Intelligence should be directed to the Head of Group, Dr Maria Polukarov: email@example.com
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.
Requests for further information about Human Centred Computing should be directed to the Head of Group, Dr Rita Borgo: firstname.lastname@example.org
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.,
Requests for further information about the group should be directed to the Head of Group, Professor Simon Parsons: email@example.com
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. Requests for further information about the group should be directed to the Head of Group, Dr Hana Chockler: firstname.lastname@example.org
Course study environment
We are a department with many internationally recognised researchers and visiting academics, large groups of PhD students, research assistants, national and international projects, collaborations with other departments as well as links with industry. We offer an exciting environment and excellent opportunities for research.
Our PhD students have access to good library facilities, designated PhD offices within the Department where PhD students can dock an assigned laptop for use throughout their studies, Regular group seminars are organised providing PhD students chance to showcase their research and receive feedback from academic staff and peers, and college-based training in transferable and research skills.
The Department is located on the Strand Campus, in the heart of central London, close to the cultural activities of the West End and the South Bank, to the major departments of state at Whitehall, and to the leading financial institutions of the City, and within easy reach of major transport links. Our facilities are within easy reach of the British Computer Society and the Institute of Engineering & Technology (and the IET Library), with access to a formidable collection of scientific journals and other technical material.
The Department moved to the historic Bush House in the summer of 2017, featuring state-of-the-art teaching and office spaces. Although the Department is fairly large in size, there is a friendly and inclusive culture, with regular social and celebratory events to bring staff and students together. Our staff and students come from all over the world, which provides a rich environment for teaching and research. Diversity is positively encouraged and you can read more about the work we’re doing to ensure an inclusive and supportive working environment on our webpages: https://www.kcl.ac.uk/nms/depts/informatics/Diversity-Inclusion
The scope of our research is defined by the interests of our research groups.