EPSRC logo
Researcher Details
 
Name: Professor JCP Woodcock
Organisation: University of York
Department: Computer Science
Current EPSRC-Supported Research Topics:
Robotics & Autonomy Robotics & Autonomy
Software Engineering

Current EPSRC Support
EP/R025479/1 RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots(C)
EP/M025756/1 A Calculus for Software Engineering of Mobile and Autonomous Robots(C)
Previous EPSRC Support
EP/H017461/1 High-integrity Java Applications using Circus(C)
EP/G061947/1 Systems Development: Domain-Specific Modelling(P)
EP/E001580/1 Interdisciplinary Design and Evaluation of Dependability (INDEED)(C)
EP/D506735/1 Network: VSR-net: A Network for the Verified Software Repository(P)
EP/C516966/1 TUNA: Theory Underpinning Nanotech Assemblers (Feasibility Study)(C)
GR/S69979/02 Network: RefineNet(C)
GR/S69979/01 Network: RefineNet(C)
GR/R43150/01 NETWORK: Formal Methods and Testing (FORTEST)(C)
GR/R43211/01 Refinement Calculi for Sequential and Concurrent Programs(P)
GR/M92188/01 LINKING TOOLS WITH THEORIES(P)
GR/M37493/01 LINKING THEORIES WITH TOOLS FOR SYSTEM DEVELOPMENT(P)
GR/J46630/01 MODELS, ALGEBRA AND MECHANICAL SUPPORT IN Z(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator