I am a PhD student at the LIPN at Université Paris 13 and DIKU at University of Copenhagen. I try to implement some Implicit Computational Complexity theories. I’m currently working on a LLVM module able to find some properties of programs with static analysis. This thesis is supervised by Jean-Yves Moyen, Virgile Mogbil and Jakob Grue Simonsen, it’s funded by the ELICA ANR project.
- 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 : firstname.lastname@example.org
- Github : ThomasRuby