University of Oxford Department of Computer Science

Rhiannon Michelmore

Rhiannon Michelmore

Doctoral Student

Student, Balliol College

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

Automated Verification

Supervisor

Marta Kwiatkowska

Back to Top