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:

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

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

- EPSRC grant
**Coalgebraic Logic Programming for Type Inference: parallelism and corecursion for a new generation of programming languages**, 2013-2016, involving E.Komendantskaya, J.Heras, J.Power, M.Schmidt. -
EPSRC First Grant scheme; project title
**Machine-Learning Coalgebraic Automated Proofs**, 2012-2014. -
EPSRC Postdoctoral Research Fellowship in Theoretical Computer Science; project title and
web-page
**Computational Logic in Artificial Neural Networks**, 2008-2011.