Michael John Caldwell Gordon
 | Este artigo não cita fontes confiáveis. (Setembro de 2021) |
| 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 |
Michael John Caldwell Gordon (Ripon, Yorkshire, Inglaterra, 28 de fevereiro de 1948) é um cientista da computação britânico.
Ligações externas[editar | editar código-fonte]
- TPHOLS, conferences associated with theorem proving in higher-order logics
- Tools and Techniques for Verification of System Infrastructure
