logo
Menu

Antoine REILLES

Vélizy-Villacoublay

Résultats examens 2026

RETROUVEZ GRATUITEMENT Le résultat du bac dans l'Académie de VersaillesLe résultat du brevet à Vélizy-Villacoublay

En résumé

Mes compétences :
Compilation
Languages
Methodes
Méthodes Formelles
Programmation
Réécriture
JavaScript

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

Réseau

Annuaire des membres :