Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MANDEL Louis
About LRI
Mr MANDEL Louis
Maître de Conférences
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 66/PCRI-S

Personal web page : http://www.lri.fr/~mandel
Email : Louis.Mandel@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Compilation and code optimization

Publications





Principle investigator
   - PARTOUT





Contracts & Grants
   - ALIDECS
   - Synchronics