Français English
Chantal KELLER
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
RechercheActivités de recherche, publications |
EnseignementActivités d'enseignement, documents |
ÉtudesÉtudes, projets |
DiversAutres activités |
Accueil | Recherche | Enseignement | Études | Divers |
Dernière mise à jour le 12 novembre 2024