Hubert COMON-LUNDH
Coordinates
LSV
Ecole Normale Supérieure de Cachan
61 Avenue du président Wilson
94235 Cachan cedex
France
Fax: +33 (0)1 47 40 24 64 Tel: +33 (0)1 47 40 24 30 Secr:+33 (0)1 47 40
24 04 email: comon@lsv.ens-cachan.fr
Position
Professor
Research interests
-
Term rewriting
-
Symbolic constraint solving
-
Tree automata techniques
-
Verification of infinite state systems
-
Cryptographic protocols
European Projects and Collaborations
Notes de cours
See also
