Laurent Hascoët
born july 22nd, 1961 in St Tropez, France
married, 2 children.
private address 42 rue basse, 06410 Biot, France
Ingenieur from Ecole Polytechnique,
Palaiseau, France (promotion 80),
then PhD from University of Nice in 1987.
Permanent researcher at INRIA since 1986.
I have also been working in a small company, CONNEXITE, from
1991 to 1993, when it merged into SIMULOG.
We were building tools for restructuring and parallelizing Fortran
programs.
Since 1998, I've been working on Automatic Differentiation,
and I lead a research team named TROPICS.
My professional interests, past and present, are:
Computer Science and Software Engineering
Logic Programming, Semantics of Programming Languages, Proofs
Partial Evaluation
Semi-Automatic Parallelization Algorithms and Tools
Automatic Differentiation
Interactive Display Systems for Programs