Cuihtlauac ALVARADO

Research

I work for France Télécom, in the Research & Development labs. My interests are Java ME, type theory, formal methods and mobile phone security.

Software

RATP - RATP subway system map for Google Earth
Otags (latest is 3.08.0.2) - Emacs/vim tags generator for Ocaml - Joint work with Jean-François MONIN, Université Joseph Fourier, VERIMAG, Grenoble.
Eq 0.3 - Some Coq stuff about equality and dependent types.
gv_fullscreen.dat - A fullscreen style for gv (gv -style gv_fullscreen.dat), edit GV*geometry to fit your screen resolution, might not work with all window managers.

Publication

Elan for Equational Reasoning in Coq - LFM 2000, Santa Barbara - Joint work with Quang-Huy NGUYEN, Inria/Loria, Nancy.
Reflection for Rewriting in Type Theory - Types 2000, Durham - Unpublished.
Réflexion pour la réécriture dans le Calcul des Constructions Inductives - Thèse de l'université Paris-Sud, décembre 2002.

France Télécom - R&D - MAPS/AMS - VVT
2, avenue Pierre Marzin - 22307 Lannion Cedex - France
Tel: +33 2 96 05 32 73 - Mobile: +33 6 77 87 82 13
Fax: +33 2 96 05 39 45 - Adm. Help: +33 2 96 05 34 96 (Rose-Marie BONET)
Email: Something like first name dot last name at company dot com (PGP key)

Les informations de cette page n'engagent que son auteur et ne constituent en rien une information émanant de France Télécom
Ces pages sont hébergées par France Télécom R&D 38-40 Av. du Général Leclerc 92794 Issy les Moulineaux CEDEX