James Charles Paul Woodcock is a British computer scientist.
Woodcock gained his PhD from the University of Liverpool. Until 2001, he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College.Jim Woodcock homepage, Oxford University Computing Laboratory. He then joined the University of Kent and was later based at the University of York,Official homepage, University of York, UK. where, from October 2012-2016, he was head of the Department of Computer Science, retiring in 2024.
His research interests include: strong software engineering, Grand Challenge in dependable systems evolution, unifying theories of programming, formal specification, refinement, concurrency, state-rich systems, mobile and reconfigurable processes, nanotechnology, Grand Challenge in the railway domain. He has a background in formal methods, especially the Z notationJim Woodcock and Jim Davies, Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. and CSP.
Woodcock worked on applying the Z notation to the IBM CICS project, helping to gain a Queen's Award for Technological Achievement,The Queen's Award for Technological Achievement 1992 , Oxford University Computing Laboratory, UK. and Mondex, helping to gain the highest ITSEC classification level.Jim Woodcock, Susan Stepney, David Cooper, John Clark, and Jeremy Jacob, The certification of the Mondex electronic purse to ITSEC Level E6, Formal Aspects of Computing, Volume 20, Number 1, pages 5–19, January 2008.
Prof. Woodcock was editor-in-chief of the Formal Aspects of Computing journal from 2007 until 2025.
In September 2024, a Festschrift Symposium was held for Woodcock at the University of York, celebrating his retirement, with an associated proceedings volume. After his official retirement from the University of York, he continued to work at Aarhus University in Denmark and Southwest University in China.
Books Jim Woodcock and Jim Davies, Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. . Jim Woodcock and Martin Loomes, Software Engineering Mathematics: Formal Methods Demystified. Kindle Edition, Taylor & Francis, 2007.
References
External links Official homepage Personal homepage Research profile