Français English

Maîtresse de Conférences de l'Université Paris-Saclay (Université Paris-Sud)

Je suis membre du Laboratoire de Méthodes Formelles, enseignante au département informatique de l'IUT d'Orsay.

Affiliation courte : LMF, Université Paris-Saclay
Affiliation complète : Université Paris-Saclay, CNRS, ÉNS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-sur-Yvette, France

Courriel : ckeller at lmf.cnrs.fr

Adresse :
LMF - Laboratoire Méthodes Formelles
4, avenue des Sciences
91190 Gif-sur-Yvette
France

Bureau : 2S61 (deuxième étage)

Téléphone : +33 (0) 1 81 87 54 64

• En 2025, je suis co-PC chair d'ITP, et membre du comité de programme de PEPM.
  
• En 2024, je suis membre du comité de programme des JFLA.
  
  
• En 2023, j'étais membre des comités de programme de CPP et ITP.
  
• J'ai coordonné de 2017 à 2022 le groupe de travail Digicosme UPSCaLe commun entre le LIX, le LMF, le LSV, le Samovar, l'U2IS, et Inria Saclay - Île-de-France.
• En 2022, j'étais membre des comités de programme d'ITP et de SMT, et présidente des JFLA.
• En 2021, j'étais membre des comités de programme d'ITP et TAP, vice-présidente des JFLA et co-chair de PxTP.
• En 2020, j'étais membre des comités de programme des JFLA, TAP, et SMT.
  
• En 2019, j'étais membre des comités de programme de CPP, Coq workshop, TyDe et PxTP, et je coordonne la conférence TAP.
• En 2018, j'étais 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 12 novembre 2024