James Woodcock
Has grant
Professor of Software Engineering
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
James Woodcock is a Professor of Software Engineering at the University of York, United Kingdom. His research areas encompass formal methods, automated verification, and software design, as highlighted in his recent publications including topics such as robotic controller design, digital twin engineering, and risk-aware machine design. His contributions aim to enhance the reliability, safety, and security of various systems, particularly in the context of railway applications and digital environments.
Recent Grants
Grant: Close
A Calculus for Software Engineering of Mobile and Autonomous Robots
Open Date: 2015-08-31
Close Date: 2020-08-30
Grant: Close
Integrated Tool Chain for Model-based Design of Cyber-Physical Systems (INTO-CPS)
Open Date: 2015-01-01
Close Date: 2017-12-01
Grant: Close
Comprehensive Approach to Modelling Systems of Systems (COMPASS)
Open Date: 2011-10-01
Close Date: 2014-09-01
Grant: Close
High-integrity Java Applications using Circus
Open Date: 2010-06-21
Close Date: 2015-10-30
Grant: Close
Systems Development: Domain-Specific Modelling
Open Date: 2009-03-31
Close Date: 2012-03-30
Articles (11)
Year:
2025
Year:
2025
Year:
2025
Year:
2024
Year:
2023
Year:
2023
Year:
2023
Year:
2021
Year:
2020
Year:
2020
Year:
2020
Collaborators (9)
Pedro Ribeiro
Lecturer
University of York
Anne Elisabeth Haxthausen
Technical University of Denmark
Chung-Kil Hur
Seoul National University
Radu Calinescu
University of York
Alvaro Miyazawa
Lecturer
University of York
John Fitzgerald
(Full) Professor of Formal Methods in Computing Science
Newcastle University
J.C. van de Pol
Aarhus University
Simon Foster
Lecturer
University of York
Peter Gorm Larsen
Aarhus University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.