Research Areas

The research within the Programming Research Group covers a wide range of different topics. For your convenience in finding items of interest, we have grouped it under the various heading given below, but in practice we operate as a cohesive group and so there are no demarcation lines between these groupings.

• Algebra of Programming
• Algorithms and Complexity
• Concurrency Research Group
• Constraints Research Group
• Foundations of Computation
• Information Ethics Group
• Machine Learning
• Programming Tools
• Security
• Software Engineering and Requirements