EPSRC logo
Researcher Details
 
Name: Professor JB Worrell
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/N008197/1 Verification of Linear Dynamical Systems(P)
Previous EPSRC Support
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