Jim Woodcock

Contact details

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

Discover related content

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

View graph of relations

Prof. Jim Woodcock, FREng


View all (262) »

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