Jim Woodcock
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 68 |
| Date of birth | June 7,1956 |
| Zodiac sign | Gemini |
| Residence | York |
| United Kingdom | |
| Influenced by | Tony Hoare |
| Books | Theoretical Aspects of Computing |
| Software engineering mathematics | |
| Z: Grammar and Concrete and Abstract Syntaxes | |
| Known for | Communicating sequential processes |
| Unifying Theories of Programming | |
| Z notation | |
| Education | University of Liverpool |
| Citations | 12,340 |
| Affiliations | University Of York |
| Interests | Software Engineering |
| Formal Methods | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 937418 |
Jim Woodcock Life story
James Charles Paul 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.
