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: Research › Conference contribution
Unifying Theories of Time with Generalised Reactive Processes
Research output: Research - peer-review › Article
Stateful-Failure Reactive Designs in Isabelle/UTP
Research output: Research › 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.
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...