Liz Gresham

Project Administrator

liz.gresham@cs.ox.ac.uk

01865 283586

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

Info

Themes	Foundations, Logic and Structures \| Verification
Activities	Software Model Checking \| PRISM \| Quantitative Analysis and Verification \| Probabilistic Verification for Systems Biology \| Probabilistic Model Checking
Projects	CONNECT-IP \| Predictable Software Systems \| VERIWARE
Completed Projects	PRISMATIC \|

Share this page: