Vincent Siles

This is still under construction

I am no longer at LIX, please find my new webpage at Chalmers.se

I need to find a better picture...

I'm a post-doc at Chalmers, University of Gothenburg working with Thierry Coquand. Before that, I was a Phd-student at the Ecole Polytechnique, part time between in the LIX(INRIA) laboratory and INRIA "antenne parisienne" near Place d'Italie.

More about me.

• Teaching I'm a teaching assistant at the Ecole Polytechnique, near Paris:
  • May-Jul. 2010: INF321 : Principes des Langages de Programmation under the direction of Gilles Dowek.
  • Sep-Dec. 2009: INF557: Introduction to Networking under the direction of Thomas Clausen.
    !! Some course materials here. !!
  • Early Sep. 2009: Caml tutorial(INF500) under the direction of David Monniaux.
• Old Teaching
  • 2008-2009:INF431 and INF321 which are courses on java programming (advanced / introduction).
  • Sep-Dec. 2008: INF557: Introduction to Networking with Florian Richoux under the direction of Thomas Clausen.
  • Early Sep. 2008: Caml tutorial(INF500) with David Baelde under the direction of David Monniaux.
• Research
  • I'm mainly interested in type theory and theorem provers (especially dependent and inductives types).
  • My publications and some slides can be found here.
  • My PhD manuscript.
  • Coq files : Some formalisations and proofs of type theory here
• Other activities
• Links

Contact:

• Email: ens-lyon.org @ vincent.siles
• Email: chalmers.se @ siles

Last modified Apr 1 2011