Laboratoire de Recherche en Informatique

M. VALIRON Benoît

		Professeur assistant Centrale Supélec Modélisation Hétérogène Tel : Fax : Bureau : 13/PCRI-S Page personnelle : http://www.monoidal.net Courrier électronique : benoit.valiron@lri.fr
Activités de recherche - Calcul quantique - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve Publications Responsabilités administratives - Membre Commission Matériel - Membre du conseil de laboratoire