Jim Woodcock
Professor Jim C. P. Woodcock FREng FBCS CEng CITP 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.[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]
Books
- Jim Woodcock and Jim Davies, Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8.
- Jim Woodcock and Martin Loomes, Software Engineering Mathematics: Formal Methods Demystified. Kindle Edition, Taylor & Francis, 2007.
References
- ↑ Jim Woodcock homepage, Oxford University Computing Laboratory.
- ↑ Official homepage, University of York, UK.
- ↑ Jim Woodcock and Jim Davies, Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8
- ↑ The Queen's Award for Technological Achievement 1992, Oxford University Computing Laboratory, UK.
- ↑ 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.
External links
- Personal homepage
- List of Publications on Google Scholar
- Jim Woodcock's publications indexed by the DBLP Bibliography Server at the University of Trier
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
- Year of birth missing (living people)
- Living people
- British computer scientists
- Fellows of the British Computer Society
- Formal methods people
- Alumni of the University of Liverpool
- Members of the Department of Computer Science, University of Oxford
- Fellows of Kellogg College, Oxford
- Academics of the University of Kent
- Academics of the University of York
- Fellows of the Royal Academy of Engineering
- Computer science writers
- British textbook writers
- Computer scientist stubs
- British computer specialist stubs
