Thomas Rubiano

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.

Contact

Curriculum Vitae

You can find my CV here (ou en français ici).