Antoine REILLES

En résumé

Entreprises

• Dassault systèmes - Software Engineer

  Vélizy-Villacoublay 2007 - maintenant

• INPL - ATER

  2006 - 2007 - I'm teaching at the ENSMN (École des Mines de Nancy), in the computer science department.
  - I'm continuing my PhD work in the Protheo team, in the Loria lab (http://www.loria.fr/), and development of the Tom language (http://tom.loria.fr/)

• LORIA/CNRS - Doctoral researcher

  2003 - 2006 My thesis was globally about trustworthy compilation.
  I worked on formal semantics and proofs, and programming languages design, applying it to the Tom language (http://tom.loria.fr/).
  
  In particular, during my PhD, I did propose and implement a language for defining algebraic terms in Java, akin to ApiGen, integrating invariants into the data structure. I also worked on integrating strategic programming into a Java environment, and proposed a reflective strategy library for Tom.
  
  On the verification level, I worked on the certification of the pattern matching compilation done by the Tom compiler, using abstract interpretation techniques.

• PebbleAge SA - Software Developper -- Internship

  2002 - 2002

Formations

• Institut National Polytechnique De Lorraine INPL

  Nancy 2003 - 2006 Doctorat Informatique

• Ecole Des Mines (Nancy)

  Nancy 2000 - 2003 Informatique

• Lycée Pierre De Fermat

  Toulouse 1998 - 2000 MP

Réseau

• Alain BOUHERET

• David NIZARD

• Elise TURCAUD

• Guillaume COCHE

• Mathilde REILLES

• Philippe YARD

• Richard LAROYE

• Stéphane HION

• Sylvain IMBERT