Jeremy Avigad

Jeremy Avigad est un professeur de philosophie à l'université Carnegie Mellon.

Naissance

9 janvier 1968 (58 ans)
New York

Nationalité

américaine

Formation

Université Harvard
Université de Californie à Berkeley

Activités

Philosophe, mathématicien, informaticien

Faits en bref Naissance, Nationalité ...

Jeremy Avigad

En mars 2013.

Biographie

Naissance	9 janvier 1968 (58 ans) New York
Nationalité	américaine
Formation	Université Harvard Université de Californie à Berkeley
Activités	Philosophe, mathématicien, informaticien

Autres informations

A travaillé pour	Université Carnegie-Mellon
Directeur de thèse	Jack Silver (en)

modifier - modifier le code - modifier Wikidata

Fermer

Il obtient un B.A. en mathématiques de l'université Harvard en 1989 et un Ph.D. de mathématiques de l'université de Californie à Berkeley en 1995 sous la direction de Jack Silver^[1]. Il est actif dans les domaines de la logique mathématique et des fondements des mathématiques, vérification formelle et des preuves de théorème interactif ainsi que d'histoire et de philosophie des mathématiques^[2].