Homepage of F. Garillot

Status

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.

My Curriculum Vitae :

PDF PS.GZ

Research Interests

Programming languages, type theory, proof theory, proof mechanization, finite group algebra, and a myriad of others.

Lecture notes

Pr. O. Carton's course entitled : Langages formels, calculabilité et complexité (Formal semantics, calculability and complexity)

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

PDF PS.GZ LaTeX source, TGZ

Photos

I was at TIC 2006 ! See the pictures.

I was at MFCS 2006 ! See the pictures.

Secondary Work

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.

Leigh Allen's Anglo-American cinema seminar : a couple movie reviews.
- Unforgiven, Clint Eastwood, 1992.
  PDF
- The Sting, George Roy Hill, 1973.
  PDF
- O Brother, where art thou ?, Joel Coen, 2000.
  PDF
- Bowling For Columbine, Michael Moore, 2002.
  PDF
- Spellbound, Jeffrey Blitz, 2003.
  PDF
- Mad Hot Ballroom, Marilyn Agrelo, 2005.
  PDF
During my years of Classes Préparatoires, I wrote two Travaux d'Initiative Personnelle Encadrés (Coordinated Personal Initiative Works)
- Règles de stabilisation d'un pendule inversé : optimisation pour la vitesse (Fuzzy Logic, PDF , 2003)
- Aide à la décision pour une croissance durable : étude structurelle de l'économie, de l'environnement, et de la qualité de vie, with the help of Pr. P. Lehert. (Structural Equation Modeling, PDF , 2004)

François Garillot

Home Page