Theoretical Computer Science

Swansea has one of the largest groups of theoretical computer scientists in the UK, with a big research programme involving many international collaborators. Over the past forty years, Swansea theoreticians have made fascinating and pioneering discoveries in the theories of data, algorithms, processes, programming languages, specification languages, reasoning and system verification.

Postgraduate research

The Department offers MRes, MSc by Research, MPhil and PhD degrees in a variety of topics. The MRes degree takes 1 year, and includes a significant number of taught courses as well as a substantial research project. The MSc by Research, MPhil, and PhD degrees take 1, 2, 3 years

The Department also offers 1-year taught MSc degrees, which involve more taught courses and a smaller research project than the MRes.



See the main Research page on the new website.

The Wessex Theory Seminar is designed to be a joint seminar of Mathematics and Computer Science departments, and industrial collaborators, broadly in the Wessex region of England. The focus of the seminar is on Theoretical Computer Science, in particular relating to the mathematical foundations of programming languages. The universities founding the seminar were Bath, Oxford, and Southampton; the seminar has since expanded to include Cambridge, Imperial College, Queen Mary, Sussex and Swansea.

Conferences and workshops

The following conferences and workshops are/were organised at Swansea by members of the research group:

  • Domains X: This international Workshop on Domains is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. Besides its traditional topics Domains X will focus on the special themes Modelling Computational Effects and Modelling Continuous Data.(5–7 September 2011)
  • SAT 2009: Twelfth International Conference on Theory and Applications of Satisfiability Testing (30 June – 3 July 2009)
  • BLC 2009: British Logic Colloquium (3–5 September 2009)
  • AVOCS '09: Ninth International Workshop on Automated Verification of Critical Systems (23–25 September 2009)
  • Russell'08: Proof Theory meets Type Theory (15–16 March 2008)
  • PCC 2007: Proof, Computation, Complexity Workshop
  • BMC 2007 splinter group: Logic and Theoretical Computer Science
  • CiE 2006: Computability in Europe 2006 — Logical Approaches to Computational Barriers
  • BCTCS 2006: 22nd British Colloquium for Theoretical Computer Science
  • CALCO 2005: First Conference on Algebra and Coalgebra in Computer Science
  • CALCO-jnr 2005: CALCO Young Researchers Workshop


See the new web pages about the Theoretical Computer Science research group.


Digital libraries and related links

  • ACM: ACM digital library portal
  • e-prints in Physics, Mathematics, Computer Science, …
  • CCS: ACM Computing Classification System
  • CiteSeer.IST: Computer and Information Science digital library
  • Collection of Computer Science Bibliographies (mostly journal articles, conference papers and technical reports)
  • CoRR: Computing Research Repository
  • CrossRef: DOI resolution and registration
  • DBLP: Bibliography (major Computer Science journals and proceedings)
  • Resolve a DOI
  • Setzer's Links in Logic


  • BCS-FACS: Specialist group of the British Computer Society for practitioners in Formal Aspects of Computing Science
  • BCTCS: British Colloquium for Theoretical Computer Science
  • CPHC: Council of Professors and Heads of Computing
  • EPSRC: Engineering and Physical Sciences Research Council
  • UKCRC: UK Computing Research Committee


  • RAE 2008: UK Research Assessment Exercise 2008
  • RAE 2001: UK Research Assessment Exercise 2001

A detail of the
Recorde Monument