Theory of Computer Science

This is the old website of the TCS group, since 6 December 2021 this is our current website.

The section Theory of Computer Science (formerly the Programming Research Group) is part of the Informatics Institute.

The section is concerned with the development of theoretical foundations of computer science, based on logic and mathematics. The aim is to seek greater understanding of fundamental computational techniques and their inherent limitations. The emphasis is not only on the abstract aspects of computing, but also on the application of theory in the field of computer science.

The focus is on developing theory and tools in the field of algebraic specification which can be used to specify, analyse, and verify concurrent communicating and programmed systems.

software verification, formal specification, process algebra, term rewriting system, algebraic specification, program algebra, concurrent system design