University of Oxford Department of Computer Science

Gabriel Santos

Personal photo - Gabriel Santos

Gabriel Santos

Research Assistant

Student, Trinity College

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

Automated Verification

Projects

FUN2MODEL

Supervisor

Marta Kwiatkowska

Back to Top