Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Thesis in progress de

Thesis in progress
Group : Verification of Algorithms, Languages and Systems

Traduction certifiée et mécanisée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée

Starts on 01/10/2016
Advisor : CONTEJEAN, Evelyne

Funding : contrat doctoral UPS
Affiliation : Université Paris-Saclay
Laboratory : LRI - VLAS

Defended on 16/11/2020, committee :
- Nicolas Thiéry Professeur, Université Paris Saclay Examinateur
- Alan Schmitt Directeur de recherche, Inria Rennes Rapporteur et examinateur
- Mohan-Saïd Hacid Professeur, Université Claude Bernard Lyon 1 (LIRIS) Rapporteur
- Sophie Tison Professeure, Université Lille 1 Examinatrice
- Nicolas Tabareau Directeur de recherche, Inria Nantes Examinateur
- Évelyne Contejean Directrice de recherche, CNRS - Université Paris-Saclay Directrice
- Véronique Benzaken Professeure, Université Paris-Saclay Directrice
- Chantal Keller Maître de Conférences, Université Paris-Saclay Directrice

Research activities :

Abstract :