Thierry Coquand
Thierry Coquand is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.
From *.wikipedia.org,
Información General
.
Hombre
Fecha de nacimiento
18 de abril, 1961
Edad
65
Lugar de nacimiento
France, Auvergne-Rhône-Alpes
Zodíaco
Aries
Redes sociales , Enlaces
Interés
Loading Chart...
Listas
- Lista de Personas Famosas llamadas Thierry
- Lista de Personas Famosas con el apellido Coquand
- Lista de Arrianos Famosas
- Lista de Personas Famosas nacidas el 18 de abril
- Lista de Personas Famosas nacidas en 1961
- Lista de Personas Famosas nacidas en Auvernia-Ródano-Alpes
- Lista de Personas Famosas nacidas en Francia