Jim Woodcock
From Wikipedia, the free encyclopedia
Professor Jim C. P. Woodcock FRSA FBCS, British computer scientist.
Jim Woocock 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. He then joined the University of Kent. He is now based at the University of York.
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 and CSP.
Woodcock worked on applying the Z notation to the IBM CICS project, helping to gain a Queen's Award for Technological Achievement, and Mondex, helping to gain the highest ITSEC classification level.
[edit] External links
- Official home page
- Personal home page
- Publications
- OUCL home page
- Jim Woodcock bibliography in the DBLP database
dkwd
 |
This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. |
Categories: Computer scientist stubs | United Kingdom computer specialist stubs | Year of birth missing | Living people | British computer scientists | British academics | Fellows of the British Computer Society | Fellows of the Royal Society of Arts | Formal methods people | Members of Oxford University Computing Laboratory | Fellows of Kellogg College, Oxford | Academics of the University of Kent | Academics of the University of York
