Discover related content
Find related publications, people, projects, datasets and more using interactive charts.
Prof. Jim Woodcock, FREng
Professor
Formally Verified Animation for RoboChart using Interaction Trees
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A Manifesto for Applicable Formal Methods
Research output: Working paper › Preprint
Editorial
Research output: Contribution to journal › Editorial › peer-review
UK Trustworthy Autonomous Systems Verifiability Node
Project: Research project (funded) › Research
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Project: Research project (funded) › Research
Requirements Modelling for Cyber-Physical Systems
Project: Research project (funded) › Research
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.
- QA75 Electronic computers. Computer science - Formal semantics, Theorem proving, Model checking
- QA76 Computer software - Software engineering, Program development
Research areas
Workshop on Requirements Modelling for Cyber-Physical Systems
Activity: Participating in or organising an event › Seminar/workshop/course
Zhiming Liu
Activity: Hosting a visitor › Academic
Automated Approaches for Formal Verification of Embedded Systems Artifacts
Activity: Examination › PhD
Fellow of the Royal Academy of Engineering
Prize: Election to learned society
Latest activities and conferences
Loading map data...