James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist.
Jim Woodcock
| |
|---|---|
| Born | (1956-06-07) 7 June 1956 (age 68) |
| Nationality | British |
| Alma mater | University of Liverpool |
| Known for | CSP, UTP, Z notation |
| Scientific career | |
| Fields | Computer science, formal methods |
| Institutions | University of Oxford University of Kent University of York |
| Website | www.cs.york.ac.uk/people/jim |
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.[1] He then joined the University of Kent and is now based at the University of York,[2] where, since October 2012, he has been head of the Department of Computer Science.
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 notation[3] and CSP.
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.[5]
Prof. Woodcock is editor-in-chief of the Formal Aspects of Computing journal.[6]
| P ≟ NP | This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. |
 | This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |