Français English
Chantal KELLER
I am a member of
the Laboratory of Formal Methods,
teaching at the Computer Science Department
at IUT
d'Orsay.
Short affiliation: LMF, Université Paris-Saclay
Long affiliation: Université Paris-Saclay, CNRS, ÉNS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-sur-Yvette, France
E-mail: ckeller at lmf.cnrs.fr
Address:
LMF - Laboratoire Méthodes Formelles
4, avenue des Sciences
91190 Gif-sur-Yvette
France
Office: 2S61
Phone: +33 (0) 1 81 87 54 64
ResearchResearch activities, publications |
TeachingTeaching activities, documents |
StudiesStudies, projects |
MiscellaneousOther activities |
Home | Research | Teaching | Studies | Miscellaneous |
Last update: January 16th 2024