The Programming Theory group investigates the concepts underlying programming, and how these concepts influence the software process. The activity ranges from theoretical studies via building of support tools to practical software development. Much of this is focused around algebraic methods, but logic and type theory is also used. Some of the activity is directed towards parallel programming.