Welcome, here you will find my publications and my thesis.
Email: Victoria.Barrett@inria.fr
Currently a postdoctoral researcher at Inria Saclay in team Partout, supervised by Kaustuv Chaudhuri on the AEx project IMPROOF. Previously a PhD student at the University of Bath in the mathematical foundations group, supervised by Alessio Guglielmi