Theory of Computation 

Image of mathematical equations on chalk boardMuch of the School's work on the logical foundations of computer science 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. For more information about our work please see the Theory of Computation page.

Theme Lead

Professor Achim Jung

Professor Achim Jung

Professor of Computer Science

School of Computer Science

Achim Jung is a Professor of Computer Science. He currently serves the School as its Director of Research. He also heads the Theory Group, one of the largest research groups in Foundations of Computer Science in the world.

Achim served as Head of School twice, 1997-2000 and 2008-2012.

Achim's interests are in mathematical structures underpinning the formal semantics of programming languages, ...

Email
a.jung@cs.bham.ac.uk

Theme Members

Dr Benedikt Ahrens

Dr Benedikt Ahrens

School of Computer Science

Benedikt Ahrens is a Birmingham Fellow for the Theory of Computation group in the School of Computer Science.

Benedikt is working on categorical semantics of programming languages. He is also interested in interactive theorem proving, mostly in computer proof assistants based on dependent type theory.

 He is a developer of the UniMath library of formalized mathematics.

Please follow the ...

Telephone
+44 (0) 121 414 3711
Email
b.ahrens@cs.bham.ac.uk

Dr Miriam Backens

Dr Miriam Backens

Lecturer in Computer Science

School of Computer Science

Miriam Backens is a Lecturer in Computer Science and a member of the Theoretical Computer Science group. Their research interests are in quantum computing, particularly the properties and applications of graphical formalisms for reasoning about quantum computations, and in algorithms and computational complexity, particularly the complexity of counting.

Telephone
+44 (0) 121 414 3005
Email
m.backens@bham.ac.uk

Dr Rajesh Chitnis

Dr Rajesh Chitnis

Lecturer of Computer Science

School of Computer Science

Dr Chitnis received his PhD in Computer Science from University of Maryland, College Park, USA in 2014. Afterwards, he was a postdoctoral fellow at Weizmann Institute of Science, Israel (2014-17) and at the University of Warwick, UK (2017-19) before joining the University of Birmingham in October 2019.

Please follow the link below to find out more about Rajesh's work:

Dr Rajesh Chitnis-personal ...

Telephone
+44 (0) 121 414 2590
Email
r.h.chitnis@bham.ac.uk

Dr Martin Escardo

Dr Martin Escardo

Reader in Theoretical Computer Science

School of Computer Science

Martin Escardo joined University of Birmingham in September 2000. His first degree was from the Universidade Federal Do Rio Grande Sul where he also obtained an MSc degree by research. During his undergraduate and MSc studies, he worked in industry. He then went to Imperial College of the University of London in October 1993 for his PhD under the supervision of Mike.B.Smyth. After ...

Email
m.escardo@cs.bham.ac.uk

Dr Dan Ghica

Dr Dan Ghica

Reader

School of Computer Science

Dr Dan Ghica is a Reader in Semantics of Programming Languages, in the School of Computer Science at the University of Birmingham. He is also a member of Theory of Computation research group. 

Dan is currently studying programming languages using type systems and semantics, particularly game semantics. The main problem he works on is transparently compiling conventional programming ...

Telephone
+44 (0) 121 414 8819
Email
d.r.ghica@cs.bham.ac.uk

Dr Nicolai Kraus

Dr Nicolai Kraus

Royal Society University Research Fellow

School of Computer Science

Dr Nicolai Kraus is a Royal Society University Research Fellow and a member of the Theory Group in the School of Computer Science.

Nicolai received his PhD in Computer Science from the University of Nottingham in 2015. Afterwards, he held postdoctoral research positions in Nottingham and at the Eötvös Loránd University in Budapest, before joining the University of Birmingham in ...

Email
n.kraus.1@bham.ac.uk

Professor David Parker

Professor David Parker

Professor of Computer Science

School of Computer Science

David Parker is a Professor of Computer Science. His research is in formal verification: rigorous, mathematical techniques for checking that systems function correctly and reliably. He has published over 120 research papers in this area and leads the development of the widely used verification software PRISM

For more information, please visit David's Computer Science profile

Email
d.a.parker@bham.ac.uk

Dr Vincent Rahli

Dr Vincent Rahli

Senior Lecturer

School of Computer Science

Dr Vincent Rahli is a Senior Lecturer in Computer Science at the Univeristy of Birmingham and is a member of the Theory of Computation research group. 

He is broadly interested in type theory (especially in constructive and intuitionistic theories) and in distributed computing (especially in the foundations and verification of fault-tolerant systems).

Please follow the link below to find ...

Email
v.rahli@bham.ac.uk