Joris VAN DER HOEVEN
CNRS (UMR 7161, LIX)
Laboratoire d'informatique de l'École polytechnique
Campus de l'École polytechnique
1, rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing, CS35003
F-91120 Palaiseau
(France)
Phone: (+33) (0)1.77.57.80.54 (office)
E-mail:
vdhoeven@lix.polytechnique.fr
Homepage:
https://www.texmacs.org/joris/main/joris.html