Jim Woodcock

Last updated

Jim Woodcock
Born (1956-06-07) 7 June 1956 (age 69)
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
Aarhus University
Southwest University
Website www.cs.york.ac.uk/people/jim

James Charles Paul Woodcock is a British computer scientist.

Contents

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 was later based at the University of York, [2] where, from October 2012, 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 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 was editor-in-chief of the Formal Aspects of Computing journal until 2025. [6]

In September 2024, a Feschrift Symposium was held for Woodcock at the University of York celebrating his retirement, [7] with an associated proceedings volume. [8] After his official retirement from the University of York, he continued to work at Aarhus University in Denmark [9] and Southwest University in China. [10]

Books

References

  1. ↑ Jim Woodcock homepage, Oxford University Computing Laboratory.
  2. ↑ Official homepage, University of York, UK.
  3. ↑ 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
  4. ↑ The Queen's Award for Technological Achievement 1992 Archived 2 December 2008 at the Wayback Machine , Oxford University Computing Laboratory, UK.
  5. ↑ 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.
  6. ↑ "Editors". Formal Aspects of Computing . Springer . Retrieved 23 February 2020.
  7. ↑ "Festschrift Symposium for Jim Woodcock". UK: University of York. 2024. Retrieved 19 July 2025.
  8. ↑ Foster, Simon; Sampaio, Augusto, eds. (2024). The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Lecture Notes in Computer Science. Vol. 14900. Springer. doi:10.1007/978-3-031-67114-2.
  9. ↑ "James Woodcock". Denmark: Aarhus University . Retrieved 19 July 2025.
  10. ↑ "Jim Woodcock". IEEE Xplore . IEEE . Retrieved 19 July 2025.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.