David Parker

Dr David Parker

Visiting Lecturer

d.a.parker@cs.bham.ac.uk

Biography

I have now moved to the University of Birmingham. My new web page is here.

Themes	Automated Verification \| Foundations, Logic and Structures
Activities	Probabilistic Verification for Systems Biology \| Software Model Checking \| Probabilistic Model Checking \| Quantitative Analysis and Verification \| PRISM
Projects	VERIWARE \|
Completed Projects	Automated quantitative software verification with PRISM \| PRISMATIC
Current Student	Mateusz Ujma

Share this page: