DPhil graduation of Dario Cattaruzza
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!!
GET IN TOUCH WITH US
CONTACT US
Oxford Control and Verification (OXCAV) Group
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767
Education - This is a contributing Drupal Theme
Design by WeebPal.
Design by WeebPal.