Skip to main content

Search for:

Recommended pages

Welcome
Undergraduate open days
Postgraduate open days
Accommodation
Information for teachers
Maps and directions
Sport and fitness
Contact us

Home
Research
Theory of computation
People

Explore Research
Research Spotlights
Spotlight on Research
- Connecting Cultures
  Our Connecting Cultures research promotes and connects diverse cultures, fosters social inclusion, shared ownership, and a sense of belonging. Though all of our work we’re changing lives and bridging gaps through innovative projects that celebrate diversity.
- Life-Changing Technologies
  With the growth of our global population the demand for products, infrastructure, and services also increases, creating a growing burden on our planet’s resources and geopolitical relations. To answer this challenge we must alter the world’s approach to manufacturing, engineering, and healthcare.
- Thriving Planet
  We are on an unrestricted search for answers to better understand the impact of climate change. Developing a sustainable future focused on clean air and water, biodiversity conservation, and clean energy and transport.
- Global Health
  Modern health challenges do not discriminate. Non-communicable diseases and mental health conditions continue to increase alongside growing health inequalities. We are committed to addressing the ever-evolving landscape of global healthcare.
- Fairer World
  Across the world, millions of people fight for justice – from inclusive education and healthcare access, to gender equality and political conflict. We are on an unrestricted mission to address these global challenges.
- Explore our Spotlights
Our Researchers
Find a researcher
- Search by name or keyword
Enter researcher name
Research Areas
Explore our Colleges
History and cultures
English, Drama and Creative Studies
Languages, Cultures, Art History and Music
Law
Philosophy, Theology and Religion

We explore what it means to be human – in historical and cultural contexts, within ethical and legal norms and through languages and communication.

Explore all Arts and Law Research
Chemical Engineering
Chemistry
Civil Engineering
Computer Science
Electronic, Electrical and Systems Engineering
Energy
Healthcare Technologies Institute
Institute for Gravitational Wave Astronomy
Mathematics
Mechanical Engineering
Metallurgy and Materials
Physics
Quantum Technology Hub
Railways

From atoms to astronomy, computers to cars and robots to robust materials, our goal is to transform our understanding of the world to make life easier, healthier and more sustainable.

Explore all Engineering and Physical Sciences Research
Biosciences
Geography, Earth and Environmental Sciences
Psychology
Sport, Exercise and Rehabilitation Sciences

Across the breadth of life and environmental sciences, we discover, apply and translate science to forge major advances in human and environmental health.

Explore all Life and Environmental Sciences Research
Birmingham Business School
Education
Government
Social Policy

We address the challenges facing society and the economy, from shedding light on the refugee crisis, to character education in schools, through to developing leaders in the NHS.

Explore all Social Sciences Research
PhDs
Institutes
Research News

People

In 'Theory of computation'

Theory of Computation
People
Events
Contact Us

Permanent Staff

Benedikt Ahrens

Todd Waugh Ambridge

Rajesh Chitnis

Anupam Das

Martín Escardó

Amin Farjudian — Amin Farjudian
(School of Mathematics)

Eric Finster

Dan Ghica

Mirco Giacobbe

Paul Levy

Sonia Marin

Sean Moss

Jakub Opršal

Vincent Rahli

Uday Reddy

Eike Ritter

Emeritus Staff

Achim Jung

Aaron Sloman

Steve Vickers

Postdoctoral Researchers

Marco Abbadini

Igor Arrieta

Abhishek De

Iris van der Giessen

Sam Speight

PhD Students

Kevin K Alex

No image available — Dhurim Cakiqi

No image available — Avgerinos Delkos

Yuning Feng

George Kaye

No image available — Tommy McElvanney

Lukas Holter Melgaard

Javier Enriquez Mendoza

No image available — Piotr Mitosek

Paraas Padhiar — Paaras Padhiar

Abhinandan Pal

Till Rampe

Bruno da Rocha Paiva

Tobias Schmude

Andrew Sneap

Sam Thomas

Ayberk Tosun

No image available — Aleksei Tiurin

Honorary Research Fellows

Miriam Backens

Claudio Hermida

No image available — Michal Konečný

Cristina Matache

Paige North

Valeria de Paiva

Paul Taylor

Policy Experts Guide

Begin your search

Our impact: find out about recent advances

Explore our Research Spotlights