# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/thierry-coquand
# Generated: 2026-08-14T01:31:16.017Z

schema: https://schema.org/Person
url: "https://fame.am/person/thierry-coquand"
name: "Thierry Coquand"
slug: "thierry-coquand"
description: "Thierry Coquand is a French computer scientist and mathematician who is since 1996 a professor of computer science at the University of Gothenburg, having formerly worked at INRIA. He is known for his work in constructive mathematics, especially the calculus of constructions."
tagline: "French mathematician, logician and computer scientist"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/Thierry_Coquand_(cropped).jpg?width=1200"
gender: "male"
country:
  name: "France"
  isoCode: "FR"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1961-04-18"
livingStatus: "LIVING"
scores:
  popularity:           43.72
  momentum:             0
  historical:           7.892082666666666
  currentAttention:     0
  sourceConfidence:     50.00000000000001
  profileCompleteness:  70
  trendDirection:       "STABLE"
ranks:
  global:   null
  country:  null
  category: null
sources:
  - url: "https://tt.wikipedia.org/wiki/%D0%A2%D1%8C%D0%B5%D1%80%D1%80%D0%B8_%D0%9A%D0%BE%D0%BA%D0%B0%D0%BD"
    title: "Тьерри Кокан"
    type:  "WIKIPEDIA"
  - url: "https://arz.wikipedia.org/wiki/%D8%AB%D9%8A%D8%B1%D9%89_%D9%83%D9%88%D9%83%D9%88%D8%A7%D9%86%D8%AF"
    title: "ثيرى كوكواند"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/Thierry_Coquand"
    title: "Thierry Coquand"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Thierry_Coquand"
    title: "Thierry Coquand"
    type:  "WIKIPEDIA"
  - url: "https://es.wikipedia.org/wiki/Thierry_Coquand"
    title: "Thierry Coquand"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/Thierry_Coquand"
    title: "Thierry Coquand"
    type:  "WIKIPEDIA"
  - url: "https://mg.wikipedia.org/wiki/Thierry_Coquand"
    title: "Thierry Coquand"
    type:  "WIKIPEDIA"
  - url: "https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BA%D0%B0%D0%BD%2C_%D0%A2%D1%8C%D0%B5%D1%80%D1%80%D0%B8"
    title: "Кокан, Тьерри"
    type:  "WIKIPEDIA"
  - url: "https://sv.wikipedia.org/wiki/Thierry_Coquand"
    title: "Thierry Coquand"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q3524190"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump