Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
David Parker

Registered user since Wed 15 Jul 2015

Name:David Parker

My research is in verification: formal techniques for checking that systems function correctly. In particular, I work on quantitative verification, which is used to check quantitative properties such as safety, reliability, performance and many others. See here for a short introduction to the topic.

This involves building and analysing models with probabilistic and real-time behaviour. I work on novel techniques to improve the scalability of verification (e.g. abstraction, compositionality), game-theoretic verification methods, and applications of these techniques to a variety of areas, including robotics, computer security, systems biology and DNA computing.

Country:United Kingdom
Affiliation:University of Birmingham
Research interests:Probabilistic verification


VMCAI Committee Member in Program Committee
Show activities from other conferences

POPL 2016-profile
View general profile