 |
 |
Doctorant
Université Paris-Saclay
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
|
