Accueil

Doctorante au laboratoire PPS sous la direction d'Alexandre Miquel et de Vincent Balat, mes domaines d'intérets sont dans le désorde:

• la preuve de programmes
• les langages de programmation ML avec références
• la logique modale et la logique dynamique en particulier
• la logique classique du second orde