Most of the time I'm working at the Microsoft Research - INRIA Joint Center. See my mail address below.
Come back to this page if you want to meet me, it will let you know if I'm elswhere for a significative amount of time (internships, holidays, etc ...) :
Here is my current GPG public key.
pub 1024D/35D6D93C 2004-10-24
uid François Garillot <francois.garillot@ens.fr>
uid François Garillot <francois.garillot@free.fr>
uid François Garillot <f.garillot@free.fr>
uid François Garillot <francois.garillot@gmail.com>
uid François garillot <f.garillot@gmail.com>
uid François Garillot <garillot.francois@gmail.com>
uid François Garillot <garillot@seas.upenn.edu>
uid François Garillot <francois.garillot@epfl.ch>
uid François Garillot <garillot@lix.polytechnique.fr>
uid François Garillot <francois.garillot@inria.fr>
sub 2048g/B884348E 2004-10-24
Primary key fingerprint: 7B33 171F D8D2 126F 98BD 89C5 679F 37A5 35D6 D93C
I am currently working towards a PhD, under the direction of Georges Gonthier and Benjamin Werner in the Mathematical Components project, at the Microsoft Research - INRIA Joint Center.
I will next be at TYPES 08.
Ordered by increasing response times :
![first name[dot]last name[at]ens[dot]fr](email.jpg)
François Garillot
Centre de Recherche Commun INRIA-Microsoft Research,
Parc Orsay Université
28, rue Jean Rostand
91893 Orsay Cedex
France
François
Garillot, ENS Ulm, Paris.
Last modified:03/12/2007
