Discover related content
Find related publications, people, projects, datasets and more using interactive charts.
Prof. Jim Woodcock, FREng
Professor
Learning Safe Neural Network Controllers with Barrier Certificates
Research output: Working paper
Automated Verification of Reactive and Concurrent Programs by Calculation
Research output: Contribution to journal › Article
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Research output: Contribution to journal › Article
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
A Calculus for Software Engineering of Mobile and Autonomous Robots
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...