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.net> 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 (Internship @ Logical, LIX, Spring Semester of 2007) <garillot@lix.polytechnique.fr> uid François Garillot <garillot@phare.normalesup.org> sub 2048g/B884348E 2004-10-24
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 the FDA Veteran debate (Nov. 26th) and my Ph.D. defense !.
François
Garillot, MSR-INRIA Joint Lab, Orsay.
Last modified:11/22/2011