Research Themes and Groups
This group covers a wide range of work within artificial intelligence and cognitive science. One main focus is robotics, encompassing both purely technological development and human cognitive ramifications (cf. the Cognitive Neuroscience and Cognitive Robotics group jointly run with Psychology). Other foci are on pure and applied branches of machine learning, automated reasoning (including mathematical reasoning), and natural language processing (where the work again has ramifications outwards into cognitive science). A distinctive applied research focus for the group is scientific document analysis, with a strong concentration on the automated reading and interpretation of mathematical formulas.
Natural computation is the study of computational systems that use ideas and get inspiration from natural systems, including biological, ecological, economic, chemical and physical systems. It is an emerging interdisciplinary area in which a range of techniques and methods are studied for dealing with large, complex, and dynamic problems. The primary application areas of natural computation include adaptive optimisation, machine learning and advanced data mining. The NC group is a world leader in theories and applications of evolutionary and neural computation.
The Medical Imaging and Image Interpretation Group is focused on finding novel, non-invasive methods of acquiring image data and extracting information from these data. Some of the recent work has been focused on developing novel techniques that allow us to use the features and properties of an optical image to infer quantitative information about the structure and composition of the tissue being imaged.
The Centre brings together academic staff and researchers from across the University of Birmingham who are working in the field of Human-Computer Interaction. Human-Computer Interaction is a broad field and includes research spanning a range of disciplines. Core members of the centre include researchers from the School of Computer Science and from the Department of Electronic, Electrical, and Computer Engineering. Staff members from Maths, Psychology, Education, and Social Sciences are also involved in ongoing research projects.
The combination of complementary skills from members of the Centre across the University allows us to take a person-centred perspective on HCI to understand, conceive, design, build and evaluate new systems and investigate their impacts.
The Security and Privacy group researches all aspects of computing security and privacy. The research ethos of the group is to tackle problems that are important to society, including government and industry. We are recognised as an EPSRC/GCHQ Academic Centre of Excellence in Cybersecurity Research. Much of the work and research we conduct is funded by a wide range of sources including EPSRC, Microsoft, IBM, Vodafone, HP, and Google.
The focus is on the systematic engineering of scalable solutions, which are targeted towards real and industrial problems and emerging large scale distributed computing paradigms (e.g. Services, Cloud). The group researches tightly intertwined issues in fundamental areas of software engineering with a focus on requirements engineering; software architecture; software modelling; software analysis, testing and verification; software economics and management; security, dependability and green aspects. The group is a world-leading contributor to synergistic areas including Search-based and Computational Intelligence for Software Engineering; Economics-driven Software Engineering; and Software Engineering in/for the Cloud.
Our work concerns the development and study of precise mathematical formalisms that can be employed for the design, specification, and verification of computer programs. This is in a tradition of mathematical semantics that was started in the UK in the 1960s by Peter Landin, Christopher Strachey, and Dana Scott. This kind of semantics encompasses many mathematical theories, foremost among them order theory, topology, logic, game theory, and category theory, all of which feature in the work of the Birmingham Theory Group. It is the rich and often surprising interplay between these mathematical areas and programming concerns that gives rise to opportunities for deep and profound research.