Name:	Professor JCP Woodcock
Organisation:	University of York
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/V026801/2 UKRI Trustworthy Autonomous Systems Node in Verifiability (C) EP/V026801/1 UKRI Trustworthy Autonomous Systems Node in Verifiability (C) 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) 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