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
ENSIIE
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.ensiie.fr/~urbain
Email : urbain@lri.fr

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


Joint Inria project teams
   - Toccata




Principle investigator
   - A3PAT
   - PACTOLE


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

Collaborations
   - 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
   - PACTOLE