Jim Woodcock

Contact details

Type of addressPostal address
Postal codeYO10 5GH
CountryUnited Kingdom
Address lines
  • Computer Science
    University of York
    Deramore Lane
    YO10 5GH
No renderer: orcidPortalIcon,dk.atira.pure.api.shared.model.person.Person

Discover related content

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

View graph of relations

Prof. Jim Woodcock, FREng


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.

View all (9) »

Latest activities and conferences