Liz Gresham

Project Administrator

liz.gresham@cs.ox.ac.uk

01865 283586

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

Info

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

Share this page: