Theory of Computation

The Theory of Computation group focuses on research into four main areas:

  • Graph theory and algorithms (studies the fundamental properties of the underlying structures, with all unnecessary detail removed)
  • Computational logic (a subject that applies methods from Formal Logic and Proof Theory to various fields in Computer Science and beyond)
  • Constraint satisfaction problems (a multidisciplinary technology combining computer science, operational research and mathematics)
  • Functional programming and applications (a high-level programming paradigm providing natural support for the analysis and verification of programs)


Can't find what you're looking for? Contact Us