Vincent Siles

Forever Under Construction

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.

Research Interests

• I'm mainly interested in type theory and theorem provers (especially dependent and inductives types): writing safe and correct software, prove their correctness.
• I'm currently working at formalizing several different algorithms as part of the European project ForMath.
• My publications and some slides can be found here.
• My PhD manuscript.
• Coq files : Some formalisations and proofs of type theory here

Past Teaching material

I was a teaching assistant at the Ecole Polytechnique, near Paris, during my PhD thesis.

• 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.
• 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.

Contact:

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

Last modified Mar 25 2012