[ U. Nagoya ] ...................... [EN] [FR] [JP]

Jacques Garrigue

adresses : garrigue at math.nagoya-u.ac.jp


Curriculum Vitae

Maintenant au Département de Mathématiques de l'Université de Nagoya.
Jusqu'à septembre 2004, au R.I.M.S. de l'Université de Kyoto.
Ex-membre du Yonezawa Lab à l'Université de Tokyo, comme thèsard.
Ancien élève de l'École Normale Supérieure (Paris).


Recherche

Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types. Particulièrement j'ai travaillé sur les sujets suivants.

Publications


Activités académiques

Je suis dans le comité de programme des conférences suivantes: Conférences récentes:

Autres

Parfois je suis assez fainéant pour me laisser aller à programmer. Voici le résultat de ma débauche.
[EM] Écrivez-moi!
JG 2024.2.27