Discover related content
Find related publications, people, projects, datasets and more using interactive charts.
Prof. Jim Woodcock, FREng
Professor
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Unifying Theories of Time with Generalised Reactive Processes
Research output: Contribution to journal › Article
Stateful-Failure Reactive Designs in Isabelle/UTP
Research output: Working paper
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
Formal Aspects of Computing (Journal)
Activity: Publication peer-review and editorial work › Journal or guest editorship
10th International Colloquium on Theoretical Computer Science (ICTAC 2013)
Activity: Participating in or organising an event › Conference
4th International Symposium on Unifying Theories of Programming (UTP 2012)
Activity: Talk or presentation › Symposium
Fellow of the Royal Academy of Engineering
Prize: Election to learned society
Latest activities and conferences
Loading map data...