Theory and Practice of Programming Research Group
The T∀PP group is involved in a broad spectrum of research aimed at improving programming methodologies - whether from the point of view of improving efficiency or increasing trustworthiness, and with application scope ranging from software development to systems design. The foundation underlying these efforts is rigorous though abstract modelling, firmly guided by practical outcomes.
Our current areas of interest include the following projects.