Thierry Coquand: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|French computer scientist and mathematician}} |
{{Short description|French computer scientist and mathematician}} |
||
[[File:Thierry Coquand (cropped).jpg|thumb|Thierry Coquand in June 2006]] |
[[File:Thierry Coquand (cropped).jpg|thumb|Thierry Coquand in June 2006]] |
||
'''Thierry Coquand''' ({{IPA-fr|kɔkɑ̃|lang}}; born 18 April 1961 in [[Bourgoin-Jallieu]], [[Isère]], France) is a French computer scientist and mathematician who is currently a professor of [[computer science]] at the [[University of Gothenburg]]. 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]], another academic who has experience in both mathematics and computer science. |
'''Thierry Coquand''' ({{IPA-fr|kɔkɑ̃|lang}}; born 18 April 1961 in [[Bourgoin-Jallieu]], [[Isère]], France) is a French computer scientist and mathematician who is currently a professor of [[computer science]] at the [[University of Gothenburg]]. 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]], another academic who has experience in both mathematics and computer science. According to the ACM Digital Library, his first published article was a collaboration with Huet titled "Constructions: A Higher Order Proof System for Mechanizing Mathematics".<ref>{{Cite web|url=https://dl.acm.org/doi/10.5555/646659.700704|title=Constructions: A Higher Order Proof System for Mechanizing Mathematics}}</ref> |
||
In 1986, Coquand published a noteworthy paper about [[Girard's paradox]] in the System U logic system.<ref>{{Cite web|url=https://hal.inria.fr/inria-00076023/document|title=An analysis of Girard's paradox}}</ref> |
In 1986, Coquand published a noteworthy paper about [[Girard's paradox]] in the System U logic system.<ref>{{Cite web|url=https://hal.inria.fr/inria-00076023/document|title=An analysis of Girard's paradox}}</ref> |
||
Revision as of 22:39, 24 February 2023
.jpg)
Thierry Coquand (French: [kɔkɑ̃]; born 18 April 1961 in Bourgoin-Jallieu, Isère, France) is a French computer scientist and mathematician who is currently a professor of computer science at the University of Gothenburg. 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, another academic who has experience in both mathematics and computer science. According to the ACM Digital Library, his first published article was a collaboration with Huet titled "Constructions: A Higher Order Proof System for Mechanizing Mathematics".[1]
In 1986, Coquand published a noteworthy paper about Girard's paradox in the System U logic system.[2]
In addition to his contributions to theoretical computer science, Coquand is also known for being the co-creator of the Coq (the name partially being a reference to Coquand's surname) proof assistant, which he began development of in 1984 while working at INRIA, and which was officially released in 1989.[3] Coq won the ACM SIGPLAN Programming Languages Software Award in 2013.[4]
See also
References
External links
- Academic homepage
- Thierry Coquand at DBLP Bibliography Server
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This article about a French mathematician is a stub. You can help Wikipedia by expanding it. |