Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > URBAIN Xavier
About LRI
Mr URBAIN Xavier

Warning: this member left the laboratory on 31/08/2016
Maître de Conférences
Verification of Algorithms, Languages and Systems

Tel : 0169156735
Fax :
Office : 70/PCRI-S

Personal web page :
Email :

Research activities
   - Automated Proof, SMT and Applications
   - Formalisation of (Specification and Programming) Languages in Proof Assistants

Joint Inria project teams
   - Toccata

Principle investigator
   - A3PAT

Software & Patents
   - CiME: CiME: a tool box for automated deduction.

   - University Pierre et Marie Curie

Ph.D. dissertations & Faculty habilitations
Ph.D   - URBAIN.01-09-1998
Faculty habilitation   - Automated Proof: Techniques, Tools, and Certification

Contracts & Grants
   - A3PAT
   - SCALP