We are happy to announce the DPhil graduation of Dario Cattaruzza. His work is related to the Unbounded-Time Safety Verification with Abstract Acceleration project.Congratulations from the rest of the OxCAV group!!
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767