Nombre de documents

1

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 Virgil Mogbile and it’s funded by the ELICA ANR project.

My home page


Communication dans un congrès1 document