Coquand, Thierry (1961-.... ; professeur au Collège de France)

Coquand, Thierry (1961-.... ; professeur au Collège de France)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 139931422

URI de l'entité : http://www.idref.fr/139931422/id

Notice de type Personne

Point d'accès autorisé

Coquand, Thierry (1961-.... ; professeur au Collège de France)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 1961

Genre : Masculin

Notes

Note publique d'information :

Titulaire d'une thèse de 3ème cycle en Mathématiques. Informatique à l'Université de Paris 7 en 1985

Note publique d'information :

Professeur titulaire de la chaire Informatique et sciences numériques au Collège de France (2024-...)

Note publique d'information :

Professeur d'informatique à l'université de Gothenburg (Suède). Domaines de recherche : mathématiques constructives, théorie des types et ses applications pour la représentation des preuves sur ordinateur et la sémantique des langages de programmation. Il dirige régulièrement des thèses ou est membre de jurys de thèses

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/117236995

Identifiant Wikidata : Q3524190

Identifiant ZBMath : coquand.thierry

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Thierry_Coquand

Identifiant SCOPUS : 7003568221

Identifiant ISNI : 0000000083281119

Source

Profondeur, dimension et résolutions en algèbre commutative : quelques aspects effectifs / Claire Tête, 2014

Information trouvée : Professeur à l'Université de Göteborg

Réalisabilité et paramétricité dans les systèmes de types purs / Marc Lasson ; sous la direction de Patrick Baillot

Information trouvée : rapporteur d'une thèse de doctorat d'Informatique à l'École normale supérieure de Lyon en 2012

Résolutions libres finies : méthodes constructives / Thierry Coquand, Henri Lombardi, 2024

Sequents qu'on calcule : de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes / Hugo Herbelin ; sous la direction de Thierry Coquand. Thèse de doctorat : Sciences appliquées : Paris 7 : 1995

Sur les groupes d’homotopie des sphères en théorie des types homotopiques / Guillaume Brunerie ; sous la direction de Carlos Simpson

Information trouvée : Rapporteur d'une thèse de doctorat de Mathématiques à l'université de Nice en 2016

Une théorie des constructions / Thierry Coquand ; sous la direction de G. Huet. Thèse de 3e cycle : Mathématiques. Informatique : Paris 7 : 1985

... Références liées : ...