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 - 2006My 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.