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
- Graph Theory and Algorithms,
- Computational Logic and Proof Theory,
- Functional Programming languages and Automated Theorem Provers,
- Type Inference in Programming Languages,
- Verification by means of Automated and Interactive Theorem Proving,
- Constraint Satisfaction Problems,
- Logic Programming and Constraints,
- Logic and Artificial Intelligence,
- Machine Learning methods in the above.
Members of Staff:
Visitors, Master Students, Interns:
Dr John Power, University of Bath, academic visitor; working on Coalgebraic semantics for logic programming.
- Mr Martin Schmidt, University of Osnabrueck, PhD student visitor; working on implementation of coalgebraic logic programming.
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.