His primary areas of investigation include Probabilistic logic, Theoretical computer science, Model checking, Algorithm and Formal verification. His Probabilistic logic research includes themes of Automaton, Temporal logic, Prism, Markov decision process and Nondeterministic algorithm. His Temporal logic research incorporates elements of Correctness and Markov chain.
His Theoretical computer science study combines topics in areas such as Range, Probabilistic CTL, Statistical model and Extension. His work in the fields of Abstraction model checking and PRISM model checker overlaps with other areas such as Bluetooth. The various areas that David Parker examines in his Algorithm study include Property, Probabilistic analysis of algorithms and Divergence-from-randomness model.
The scientist’s investigation covers issues in Probabilistic logic, Theoretical computer science, Particle, Mechanics and Tracking. His Probabilistic logic research is multidisciplinary, incorporating elements of Temporal logic, Model checking, Formal verification, Algorithm and Markov decision process. The Model checking study combines topics in areas such as Mathematical optimization and Binary decision diagram.
David Parker has researched Theoretical computer science in several fields, including Probabilistic CTL, Markov process, Markov chain and Statistical model. His work carried out in the field of Particle brings together such families of science as Granular material and Mineralogy. His Tracking study combines topics from a wide range of disciplines, such as TRACER, Optics and Positron emission.
His scientific interests lie mostly in Probabilistic logic, Condensed matter physics, Markov decision process, Theoretical computer science and Distributed computing. His studies deal with areas such as Temporal logic, Model checking, Formal verification, Algorithm and Markov chain as well as Probabilistic logic. His biological study spans a wide range of topics, including Property, Cryptographic protocol and Markov process.
He combines subjects such as Linear programming and Control theory with his study of Markov decision process. His specific area of interest is Theoretical computer science, where David Parker studies Nondeterministic algorithm. His research integrates issues of Key, Task and Benchmark in his study of Distributed computing.
David Parker spends much of his time researching Probabilistic logic, Distributed computing, Formal verification, Theoretical computer science and Model checking. His work deals with themes such as Control theory, Markov decision process, Markov chain, Benchmark and Software engineering, which intersect with Probabilistic logic. His research in Distributed computing intersects with topics in Task, Mobile robot, Real-time computing, Bounded function and Key.
David Parker interconnects Observability, Rotation formalisms in three dimensions, State and Energy management in the investigation of issues within Formal verification. His Theoretical computer science research includes themes of Algorithm, Stochastic modelling and Subgame perfect equilibrium. His Model checking study integrates concerns from other disciplines, such as Property and Markov process.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
PRISM 4.0: verification of probabilistic real-time systems
Marta Kwiatkowska;Gethin Norman;David Parker.
computer aided verification (2011)
PRISM : A tool for automatic verification of probabilistic systems
Andrew Hinton;Marta Kwiatkowska;Gethin Norman;David Parker.
Lecture Notes in Computer Science (2006)
PRISM: Probabilistic Symbolic Model Checker
Marta Z. Kwiatkowska;Gethin Norman;David Parker.
Lecture Notes in Computer Science (2002)
Stochastic model checking
Marta Kwiatkowska;Gethin Norman;David Parker.
formal methods (2007)
Adsorption kinetics of fluoride on low cost materials
X Fan;D J Parker;Smith.
Water Research (2003)
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
Marta Z. Kwiatkowska;Gethin Norman;David Parker.
tools and algorithms for construction and analysis of systems (2004)
Automated Verification Techniques for Probabilistic Systems
Vojtech Forejt;Marta Z. Kwiatkowska;Gethin Norman;David Parker.
formal methods (2011)
Automatic verification of competitive stochastic systems
Taolue Chen;Vojtech Forejt;Marta Z. Kwiatkowska;David Parker.
formal methods (2013)
Performance analysis of probabilistic timed automata using digital clocks
Marta Kwiatkowska;Gethin Norman;David Parker;Jeremy Sproston.
formal methods (2006)
PRISM: probabilistic model checking for performance and reliability analysis
Marta Kwiatkowska;Gethin Norman;David Parker.
measurement and modeling of computer systems (2009)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Oxford
University of Glasgow
University of Birmingham
University of Birmingham
University of Birmingham
University of Nottingham
McGill University
Loughborough University
University of Missouri
Eindhoven University of Technology
University of Iowa
Sao Paulo State University
Google (United States)
Henan University
Ikerbasque
University of California, Davis
University of Connecticut Health Center
University of North Carolina at Chapel Hill
Northwestern University
Norwegian Meteorological Institute
National and Kapodistrian University of Athens
University of the Witwatersrand
Princess Margaret Cancer Centre
Tohoku University
University of Basel
University of California, Irvine