Discover related content
Find related publications, people, projects, datasets and more using interactive charts.
Prof. Jim Woodcock, FREng
Professor
Unifying Theories of Reactive Design Contracts
Research output: Contribution to journal › Article
A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Semantics for RoboChart A Weakest Completion Approach
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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...