h1

h2

h3

h4

h5
h6
This website uses technically necessary cookies to offer the best possible functionality.
Further Information

Skip to Content Skip to Main Navigation Skip to Footer Skip to Search

Logo of UnRAVeL
Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • Deutsch

Faculties and Institutions

You Are Here: Parker David

RWTH

  • Main page
  • Intranet

Faculties and Institutes

  • Mathematics, Computer Science and Natural SciencesFaculty 1
  • ArchitectureFaculty 2
  • Civil EngineeringFaculty 3
  • Mechanical EngineeringFaculty 4
  • Georesources and Materials EngineeringFaculty 5
  • Electrical Engineering and Information TechnologyFaculty 6
  • Arts and HumanitiesFaculty 7
  • Business and EconomicsFaculty 8
  • MedicineFaculty 10

Find Institute:

Institutions

  • University Library
  • IT Center
  • Center for Teaching and Learning Services
  • Athletics and Recreation
  • Central University Administration
  • All Institutions

Navigation

  1. Academics
  2. Research
  3. The Research Training Group

You Are Here:

  1. Home
  2. The Research Training Group
  3. Guest Researchers
  4. Guests 2018
  5. Parker David
Print
Download digital business card

Sub-Navigation

Guest Researchers
  • Guests 2017
  • Guests 2018
    • You Are Here:Parker David
  • Guests 2019
  • Guests 2020
  • Guests 2021
  • Guests 2022
  • Guests 2023
Alejandro Aguirre

Person

David Parker

University of Birmingham

Address

Email: d.a.parker@cs.bham.ac.uk
Website
 

Similar Topics

  • Guest Talk: Verification and Strategy Synthesis for Stochastic Games

last updated: 03/02/2021

top

Footer

RWTH

  • RWTH Main Page
  • Faculty of Mathematics, Computer Science and Natural Sciences
  • Business and Economics
  • Faculty of Civil Engineering

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Privacy Policy
  • Accessibility Statement
  • Feedback

Social Media

  • facebook
  • Xing

Institutions

  • Department of Computer Science
  • University Library