Michael John Caldwell Gordon (Ripon, Yorkshire, Inglaterra, ) é um cientista da computação britânico.
Ligações externas Página pessoal
TPHOLS, conferences associated with theorem proving in higher-order logics Tools and Techniques for Verification of System Infrastructure
Categoria:Membros da Royal Society Categoria:Naturais de Yorkshire Categoria:Cientistas da computação do Reino Unido Categoria:Alunos da Universidade de Edimburgo