Michael ("Mike") William Shields (20 January 1950 – 24 September 2023) was a British computer scientist.
Mike Shields undertook research on concurrent systems with Peter E. Lauer at the University of Newcastle upon Tyne in the late 1970s.
For most of his career, Shields was an academic in the Department of Computing at the University of Surrey in Guildford, southern England.
[2][3][13] Reid has been quoted as saying In program proving, only the presence of bugs in one's proof is ascertainable, not their absence,[14] similar to but not the same as a well-known quotation by E. W. Dijkstra about software testing.
Michael W. Shields published a number of books including: This biography article of a United Kingdom academic is a stub.