Accueil
>
Présentation
>
Personnel
> DROSS Claire
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
Mme DROSS Claire
ATTENTION : ce membre a quitté le laboratoire le 02/04/2014
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