Location

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
            

Current Location

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.

How to contact me

Ordered by increasing response times :

• email :
• ICQ number : 79297377
• Telephone : +33 1 69 35 69 75
• Adress :

  François Garillot

  Centre de Recherche Commun INRIA-Microsoft Research,

  Parc Orsay Université

  28, rue Jean Rostand

  91893 Orsay Cedex

  France