Laboratoire de Recherche en Informatique

M. VALIRON Benoît

		Professeur assistant Centrale Supélec Vérification d'Algorithmes, Langages et Systèmes 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 du conseil de laboratoire - Membre Commission Matériel Responsabilités de contrats - 18BULLGOUBAU - ITEA 3 QUANTEX - SOFTQPRO