Jim Woodcock

Contact details

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

Discover related content

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

View graph of relations

Prof. Jim Woodcock, FREng

Professor

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