Welcome to the webpage of

Theory of Computing group

at the School of Computing, University of Dundee.

We are also on Google+

Logic underlies many aspects of computer science, similarly to the way laws of gravity underly many aspects of the physical world. From early discoveries of the 30's that the computations by the Turing Machine correspond to the computations expressed by means of lambda-calculus, to the state-of-the art research in the modern programming languages and their semantics -- the interplay between applied computing and the underlying logical principles remains one of the most fascinating aspects of Computer Science.

We focus on research into the following areas:

Members of Staff:

PhD Students:

Visitors, Master Students, Interns:

Grants and Projects:

For full details of our activities, please visit our individual pages above! Below is just a sample of the grants we have held.