Thomas Rubiano

I am a PhD student at the LIPN in Université Paris 13. 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 and Virgile Mogbil and it’s funded by the ELICA ANR project.

Contact

Curriculum Vitae

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