Michael J. C. Gordon: Pioneering British Computer Scientist in Formal Verification and Theorem ProvingMichael J. C. Gordon (1948–2017) was a British computer scientist and professor who made foundational contributions to the field of formal methods in computing, particularly in the...