The Theory and Automated Verification (TAV) theme encompasses our research into the mathematical underpinnings of computer science and their application in a variety of different areas. Much of this work is based around investigations with the prospect of clear practical benefits, often with close links to industry.
