Thierry coquand
Thierry coquand
Thierry Coquand (i Frauenwörth, i juni 2006)
| Fødsel |
18. april 1961 Isère |
|---|---|
| Nationalitet | fransk |
| Uddannelse | École Normale Supérieure |
| Aktiviteter | Matematiker , datalog , ingeniør |
| Arbejdede for | Göteborgs universitet , Chalmers Polytechnic |
|---|---|
| Stol | Professor |
| Mark | Computer videnskab |
| Medlem af | Academia Europaea (2011) |
| Tilsynsførende | Gerard Huet |
| Forskel | ACM Software System Award (2013) |
Thierry Coquand (født den18. april 1961i Jallieu i Isère ) er en fransk matematiker, professor i teoretisk datalogi ved Göteborgs universitet i Sverige . Han er kendt for sit arbejde med konstruktiv matematik , især beregning af konstruktioner . Hans speciale var Gérard Huet .
Præmier og anerkendelse
- ACM SIGPLAN Software Programming Languages-pris for Coq-projektet, Association for Computing Machinery , 2013.
- ACM Software System Award for Coq-projektet, Association for Computing Machinery , 2013.
Se også
Relaterede artikler
Noter og referencer
- (in) " Thierry Coquand " på awards.acm.org (adgang til 18. marts 2020 )
- (i) " Thierry Coquand " på sitet Mathematics Genealogy Project
Eksternt link
- Personlig side
- Forskningsressourcer :