Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > DROSS Claire
About LRI
Mrs DROSS Claire

Warning: this member left the laboratory on 02/04/2014
 
DROSS Doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 39/PCRI-S

Personal web page :
Email : claire.dross@lri.fr

Research activities
   - Automated Proof, SMT and Applications


Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Generic Decision Procedures for Axiomatic First-Order Theories

Contracts & Grants
   - CIFRE ADACORE