People

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, ...

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 ...

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.

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 ...

Martin Escardo is a Professor of Theoretical Computer Science at the University of Birmingham. 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 ...

Dan Ghica is a Professor of 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.

Prof. Ghica is researching theoretical aspects of programming languages such as type systems and semantics, particularly using string diagrams. He is currently holding an EPSRC Grant for the study of "Nominal ...

Dr Paul Levy is a Reader in Theoretical Computer Science and is a member of the Theory of Computation group at the University of Birmingham.

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

Dr Paul Levy- personal webpage

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 see David's homepage.

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 ...

Uday Reddy is a Professor of Computer Science and a member of the Theory group, at the University of Birmingham. For more information please see Uday's homepage.

Dr Eike Ritter is a Senior Lecturer for the School of Computer Science, at the University of Birmingham. He is also a member of the Security and Privacy group and Theory group. 

For more information, please see Eike's homepage.