The section Theory of Computer Science (formerly the Programming Research Group) is part of the Computing, System architecture and Programming Laboratory (CSP-Lab), and focuses on the following research area's:
Programming Methods
Leader: prof. dr. J.A. Bergstra
Development of a process theory and tools that can be used to specify and verify concurrent communicating systems; research on modularisation of specifications, theory of module algebra; algebraic specification of data types; development of an algebraic framework for sequential programming.
- Keywords:
- software verification, software validation, modularisation, formal specification, process algebra, module algebra, term rewriting system, algebraic specification, program algebra