Professor James Charles Paul Woodcock
FREng
University of York , as of 2011
Fellow , Elected 2011 , Yorkshire and the Humber
Listed by the Academy’s directory under Southwest University
James Charles Paul Woodcock is a British computer scientist.
Adapted from Wikipedia, CC BY-SA 4.0
Expertise
- Consultant
- Design Methodologies
- Distributed Computing
- Education
- Education and Training
- Embedded Systems
- Informatics
- Mathematics
- Modelling
- Operating Systems
- Railway Signalling
- Research and Development
- Safety-Critical Systems
- Software
- Software Engineering
- South America
- System Design
- Systems Engineering
- Automotive
- Coding
- Computer Languages
- Computer Modelling
- Computer Security
- Computing
- Developing Countries
- Domain Specific Languages
- Higher Education
- History of Computing
- Multiple Valued Logic
- Robotic
- Systems
- Abstraction
- Programming
- Advanced Software Engineering Methodologies
- Distributed systems and fault tolerance
- Formal Methods in Verification
- Logic, programming, and type systems
- Model-Driven Software Engineering Techniques
- strong software engineering
- unifying theories of programming
- formal specification
Links
Sources
- Identity
Confirmed (grade B) , the Academy’s directory lists them under University of York, and a source names them there , RAEng directory , 11 Oct 2026 , RAEng citation , 30 Sep 2026
Why we think this is them
Wikidata , 30 Sep 2026 , records them as a Fellow of the Academy
RAEng directory , 11 Oct 2026 , lists them under Southwest University , lists them under University of York
RAEng citation , 30 Sep 2026 , names them at University of York , announces their election in 2011
- Directory entry, Listed under
RAEng directory , 30 Sep 2026 , read from the page , facts , high confidence
- Organisation
RAEng citation , 30 Sep 2026 , read from the page , facts , medium confidence , as of 2011
- Summary
Wikipedia , 30 Sep 2026 , via API , CC BY-SA 4.0 , medium confidence
- Topics
OpenAlex , 30 Sep 2026 , via API , CC0 , medium confidence
en.wikipedia.org , 11 Oct 2026 , extracted by a language model , CC BY-SA 4.0 , low confidence
- Links
Wikipedia: en.wikipedia.org , 11 Oct 2026 , extracted by a language model , CC BY-SA 4.0 , high confidence
Wikipedia, ORCID: Wikidata , 30 Sep 2026 , via API , CC0 , high confidence
Website, Google Scholar, Wikidata: Wikidata , 30 Sep 2026 , via API , CC0 , medium confidence
ORCID: OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence
OpenAlex: OpenAlex , 30 Sep 2026 , via API , CC0 , medium confidence