Thierry Coquand - Thierry Coquand
Thierry Coquand v červnu 2006
Thierry Coquand (Francouzština:[kɔkɑ̃]; narozen 18. dubna 1961 v Jallieu, Isère, Francie) je profesorem v počítačová věda na University of Gothenburg, Švédsko. On je známý pro jeho práci v konstruktivní matematika, zejména počet konstrukcí. Získal titul Ph.D. pod dohledem Gérard Huet.
Viz také
externí odkazy
- Akademická domovská stránka
- Thierry Coquand na DBLP Bibliografický server
Kontrolní úřad  |
|---|
| P ≟ NP | Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
 | Tento článek o francouzském matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |