Theory of Computer Science
Jan Bergstra's group focuses on the research area of programming methods. This area includes process theory and tool development for specification and verification of concurrent communicating systems. Other research interests include the modularisation of specifications and theory of module algebra, abstract datatype theory, and the study of sequential programming by algebraic methods.
The group has been recently augmented by a subgroup that researches knowledge communication, focusing particularly on conceptual knowledge.