Riviera Dev 2011

Les conférences du soleil : 20-21 octobre 2011 à Sophia-Antipolis

Name: Laurent Hascoët
Title: Chargé de recherche
Bio:

I'm a researcher in Computer Science at INRIA, in Sophia-Antipolis. I graduated from Ecole Polytechnique, then PhD from University of Nice. My past interests include software engineering, logical languages for proof of programs, Partial Evaluation and Parallelization. My current focus is Automatic Differentiation.


Company: Inria
Talks: