<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <%-- Current navigation location --%> <% String currentNav = "Theory and Practice of Programming"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Theory and Practice of Programming Research Group

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

 

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.

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>