Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > DROSS Claire
Présentation
Mme DROSS Claire

ATTENTION : ce membre a quitté le laboratoire le 02/04/2014
 
DROSS Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 39/PCRI-S

Page personnelle :
Courrier électronique : claire.dross@lri.fr

Activités de recherche
   - Démonstration automatique, SMT et applications


Projets
   - Toccata









Thèses et habilitations
Doctorat   - Procédures de Décision Génériques pour des Théories Axiomatiques du Premier Ordre

Participations à des contrats
   - CIFRE ADACORE