Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > VALIRON Benoît
About LRI
Mr VALIRON Benoît
VALIRON Professeur assistant
Centrale Supélec
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 13/PCRI-S

Personal web page : http://www.monoidal.net
Email : benoit.valiron@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Quantum computing

Publications




Leadership positions
   - Equipment Committee Member

Principle investigator
   - 18BULLGOUBAU
   - ITEA 3 QUANTEX
   - SOFTQPRO