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 UMR8623, 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 coordonne le groupe de travail Digicosme UPSCaLe commun entre le LIX, le LRI, le LSV, le Samovar, l'U2IS, et Inria Saclay - Île-de-France.
• Je suis membre des projets ANR DataCert et SoftQPRO.
• En 2020, je suis membre du comité de programme des JFLA.
• En 2019, je suis membre des comités de programme de CPP, Coq workshop, TyDe et PxTP, et je coordonne la conférence TAP.
  
  
• En 2018, je suis membre des comités de programme d'ITP, LFMTP, CoqPL, OBT, PAAR et TAP.
• En 2017, j'étais membre du comité de programme externe de POPL et du comité de programme de PxTP.
• En 2016, j'étais 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 2 janvier 2020