David Parker
|
Dr David Parker
Research Assistant
david.parker@cs.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
I have now moved to the School of Computer Science at the University of Birmingham. See my web page there for more information.
Info
|
Themes |
|
|
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 |
|
Student |
|
