Laurent Hascoët
INRIA, TROPICS team
INRIA Sophia-Antipolis
2004 Route des lucioles, BP 93
06902 VALBONNE, FRANCE
Laurent.Hascoet@inria.fr
Fax: +33 (0) 492 38 50 60


I'm a researcher in Computer Science at INRIA, in Sophia-Antipolis in the south-east of France. Here is a short biographical sketch and my publications.

Research work:


Documents of the Tropics team

Habilitation Slides:

Other Slides:


Links:


Last modified: Thu Jul 19 13:03:01 CEST 2012