Français English

Maître de Conférences de l'Université Paris-Sud

Je suis membre de l'équipe VALS du Laboratoire de Recherche en Informatique, enseignante au département informatique de l'IUT d'Orsay.

Affiliation courte : LRI, Univ. Paris-Sud
Affiliation complète : LRI, Univ. Paris-Sud, CNRS, CentraleSupelec, Université Paris-Saclay

Courriel : Chantal.Keller at lri.fr

Adresse :
LRI, bâtiment 650
Université Paris-Sud
91405 Orsay Cedex
France

Bureau : 70 (rez-de-chaussée)

Téléphone : +33 (0) 1 69 15 68 89

• Je propose plusieurs sujets de stage de Master :
  • un sujet mêlant cryptographie et calcul pour Coq (pas de prérequis en preuves Coq !) ;
  • un sujet pour améliorer l'automatisation de Coq ;
  • un sujet pour vérifier des algorithmes efficaces de bases de données en Coq et en Why3 ;
  ainsi que des sujets de stage de L3 :
  • un sujet pour permettre aux assistants de preuve Coq et Lean d'échanger leurs théorèmes (pas de prérequis en preuves Coq ni Lean !)
  • un sujet pour vérifier la compilation de requêtes en bases de données (pas de prérequis en preuves Coq !)
  Contactez-moi si vous êtes intéressé !


• En 2017, je suis membre du comité de programme externe de POPL.
• En 2016, j'étais suis membre des comités de programme de MSFP, PAAR, LFMTP et HATT.

Recherche Activités de recherche, publications	Enseignement Activités d'enseignement, documents
Études Études, projets	Divers Autres activités

Dernière mise à jour le 20 janvier 2017