James Charles Paul Woodcock is a British computer scientist.
Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College.
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.
Woodcock worked on applying the Z notation to the IBM CICS project, helping to gain a Queen's Award for Technological Achievement,[4] and Mondex, helping to gain the highest ITSEC classification level.
You can help Wikipedia by expanding it.This article on a computer specialist of the United Kingdom is a stub.