Michael John Caldwell Gordon
Este artigo não cita fontes confiáveis. (Setembro de 2021) |
Michael John Caldwell Gordon (Ripon, Yorkshire, Inglaterra, 28 de fevereiro de 1948) é um cientista da computação britânico.
Michael John Caldwell Gordon | |
---|---|
Nascimento | 28 de fevereiro de 1948 (76 anos) Ripon |
Nacionalidade | britânico |
Alma mater | Universidade de Edimburgo |
Instituições | Universidade de Cambridge |
Campo(s) | ciência da computação |
Ligações externas editar
- TPHOLS, conferences associated with theorem proving in higher-order logics
- Tools and Techniques for Verification of System Infrastructure