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
Research![]() Research activities, publications |
Teaching![]() Teaching activities, documents |
Studies![]() Studies, projects |
Miscellaneous![]() Other activities |
Home | Research | Teaching | Studies | Miscellaneous |
Last update: July 13th 2023