|
| 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/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) |
|
| 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
|
| |
|
|
|
|