The section Theory of Computer Science (formerly the Programming Research
Group) is part of the **Computing, System architecture and Programming
Laboratory** (CSP-Lab).

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.

*Keywords:*- software verification, formal specification, process algebra, term rewriting system, algebraic specification, program algebra, concurrent system design

## subsections