Mark Jenkins

Mark Jenkins

Doctoral Student
Student, St John's College

Room Room 426, Wolfson Building, Parks Road, Oxford OX1 3QD

themes	Verification
activities	Quantitative Analysis and Verification
supervisor	James Worrell