I did my PhD at the LIPN at Université Paris 13 and DIKU at University of Copenhagen. I implemented some Implicit Computational Complexity theories. This thesis was supervised by Jean-Yves Moyen, Virgile Mogbil and Jakob Grue Simonsen, it’s funded by the ELICA ANR project. I’m currently working on a LLVM module able to hoist quasi-invariant chunks in loops.
- rubiano at lipn dot univ-paris13 dot fr
- Université Paris 13 - Institut Galilée - Bureau B103 - 99, avenue Jean-Baptiste Clément F-93430 Villetaneuse
- IRC : rubiano on freenode
- Framasphere : email@example.com
- Github : ThomasRuby
You can find my CV here