Here is what I'm looking like when running in usual mode... And
otherwise, click here for a funnier
picture or here for my
unique selfie 
If you prefer Molière's tongue, please read the version française.
Researcher/teacher at ENSTA
ParisTech (teaching
page, pretty raw for sure, official
page) ... Among other things, I re-activate work on FoCaLize.
More information as soon as I find 2 minutes...
(Ok, Ok, really out of date, right, I really
need to refactor this page) I
just joined MLstate as member of the compilation
team, more especially working on the typechecker for the moment... More
information to come later...
I was previously working at Kalray as front-end compilation integration and development engineer.
Before, I was research engineer in Computer
Science, working on the SSURF
project at University of Paris 6 (LIP6).
In fact, I was in charge of the new FoCaL compiler, AKA FoCaLize
(mirror on focal.ensiie.fr). In
parallel, my reseach works dealt with dataflow analysis on functional
languages for dysfonctional analyses as well as on the FoCaL language's
semantics and extensions. And then, I'was teacher in charge of the
computer science Master 2nd year courses "Sûreté du Logiciel",
at Paris 6.
Before, I spent 3 years at INRIA Rocquencourt, in the Cristal project for my PhD. Thesis, then worked at both the Computer Science Department of Stevens Institute of Technology and the Bell Laboratories at Lucent Technologies, and finally as chief engineer in charge of the Research & Development Department in the Surlog S.A. company.
My interest centers are mainly focused on
program analysis and compilation, and more generally on programming
languages and formal proofs frameworks. These domains are those I use to
study during my working time (and also my spare time 
...), but I also enjoy hacking 3D interactive graphics and other
miscellaneous stuff, as you will see if you go further in reading my
page...
|
firstname_lastname@yahoo.fr |
This site
was, is and will always be under construction...
