I am a graduate Computer Science student formerly working at the École Normale Supérieure in Paris, France. I am currently working towards a PhD, at the Microsoft Research - INRIA Joint Center, in the Mathematical Components Project.
Programming languages, program certification, distributed programming, statically secure software, engineering large libraries.
I will be defending soon!
I have contributed to the writing of the handouts for this class, as taught during the first semester of the M.M.F.A.I. With the collaboration of Gaëtan Bisson, Thierry Martinez and Sam Zoghaib.
They are available for download, under the terms of the GNU General Public License. Last modification : 04/24/05
Those notes evolved into the book Langages formels, Calculabilité et Complexité, by Olivier Carton, published by Vuibert editions, ISBN 978-2-7117-2077-4
Here are some reports on some previous studies or some language classes I'm taking. They are mainly here for my own convenience, and made available without any warranty without even the implied warranty of fitness for a particular purpose.
François
Garillot, MSR-INRIA Joint Lab, Orsay.
Last modified:11/17/2011