Our research is breaking new ground in the theory and practice of computational systems and their applications.
Intelligent Robotics Lab in the School of Computer Science at the University of Birmingham has a history of working on basic and applied research projects at the intersection of AI, robotics, and machine learning. Our researchers have expertise in computer vision, knowledge representation and reasoning, cognitive systems, interactive learning, formal verification, and dexterous manipulation. Our research projects and educational initiatives are funded by competitive grants from funding agencies and industrial collaborators in the UK, EU, US, and other countries.
Security and Privacy
Security and Privacy Group, led by Professor Mark Ryan, is a team of eleven academic staff based in the School of Computer Science at the University of Birmingham. For over a decade, the group has remained committed to its ethos of tackling cyber security problems that are important to society. Working in collaboration with academia, industry and government, the Group consistently produces internationally leading research on key issues that has led to recognition by GCHQ as an Academic Centre of Excellence in Cyber Security Research.
Human Computer Interaction
Human-Computer Interaction Centre based at the University of Birmingham focuses on a people-centred perspective on interaction and technology; it leads the development of our understanding on how people interact with technologies, and how one transforms the other.
Theory of Computation Sciences
Theoretical Computer Science at Birmingham is one of the largest research groups in the world to focus on the logical foundations of computer science. Much of our work makes use of techniques such as category theory, type theory, topology, domain theory, and game semantics, which we apply to deep and conceptual questions in a broad range of areas.