Jim Woodcock

Contact details

Type of addressPostal address
Postal codeYO10 5GH
Country/TerritoryUnited Kingdom
Address lines
  • Computer Science
    University of York
    Deramore Lane
    YO10 5GH

Phone: (01904) 325446

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Prof. Jim Woodcock, FREng


View all (276) »

View all (12) »

Areas of expertise

  • Verified Software
  • Software engineering
  • Industrial applications
  • Theoretical computer science
  • Robotics and autonomous systems

PhD opportunities

Semantics of hybrid systems. Semantics of probabilistic systems. Isabelle theories of heterogeneous semantics. Verification of robot software.

    Research areas

  • QA75 Electronic computers. Computer science - Formal semantics, Theorem proving, Model checking
  • QA76 Computer software - Software engineering, Program development

View all (32) »

Latest activities and conferences