David Parker

Professor David Parker

Professor of Computer Science

Deputy Head of Department (Research)

Tutorial Fellow, Trinity College

E: david.parker@cs.ox.ac.uk

Room 424, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Themes:

• Automated Verification

See Also:

• Personal webpage

Biography

I am Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Trinity College. Prior to that, I was a Professor in the School of Computer Science at the University of Birmingham.

Activities

• Probabilistic Verification for Systems Biology
• Software Model Checking
• Probabilistic Model Checking
• Quantitative Analysis and Verification
• PRISM

Projects

• FUN2MODEL

Current Students

Past Student