Name:	Professor JB Worrell
Organisation:	University of Oxford
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/N008197/1 Verification of Linear Dynamical Systems (P) EP/M012298/1 Counter Automata: Verification and Synthesis (P) EP/G069727/1 Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity (P) EP/H018581/1 Extensions of the Church Synthesis Problem (P) EP/G069158/1 Automated Verification of Probabilistic Programs (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator