Jean Krivine

Statut : CR (HDR)
Laboratoire : IRIF
Site web : http://www.irif.fr/~jkrivine

GDRs

GDR IFM: membre de.s groupe.s de travail

GDR RADIA: membre de.s groupe.s de travail

GDR BIMMM: membre de.s groupe.s de travail