The Verification Lab
The verification group’s research comprises the rigorous analysis of software systems. Our work sits at the boundary of engineering and mathematics, and much of it is devoted to constructing mathematically-sound techniques for ensuring that software is rendered as intended.
Currently much of our work is in collaboration with LIX (France) and FIU (US) where we are applying our methods to problems in Privacy in Data Access. More details about that collaboration on the Princess Team website.