Thierry coquand

Thierry Coquand (a Frauenwörth, nel giugno 2006) Biografia

Nascita	18 aprile 1961 Isère
Nazionalità	Francese
Formazione	École Normale Supérieure
Attività	Matematico , informatico , ingegnere

Altre informazioni

Lavorato per	Università di Göteborg , Politecnico di Chalmers
Sedia	Professore
Campo	Informatica
Membro di	Academia Europaea (2011)
Supervisore	Gerard Huet
Distinzione	ACM Software System Award (2013)

Thierry Coquand (nato il18 aprile 1961in Jallieu in Isère ) è un matematico francese, professore di informatica teorica presso l' Università di Göteborg in Svezia . È noto per il suo lavoro sulla matematica costruttiva , in particolare il calcolo delle costruzioni . Il suo direttore della tesi era Gérard Huet .

Premi e riconoscimenti

Premio ACM SIGPLAN Programming Languages Software, per il progetto Coq, Association for Computing Machinery , 2013.
Premio ACM Software System , per il progetto Coq, Association for Computing Machinery , 2013.