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