Thomas Rubiano

I did my PhD at the LIPN in Université Paris 13 and DIKU at university of Copenhagen. I implemented some Implicit Computational Complexity theories. This thesis was supervised by Jean-Yves Moyen and Virgil Mogbile and Jakob Grue Smonsen, it was funded by the ELICA ANR project.

I’m currently at the IRISA in the Celtique Team as PostDoc funded by the DISCOVER ANR project . I’m working with Delphine Demange on analysis and certification techniques with coq using different compilers such as CompcertSSA.

Contact

Curriculum Vitae

You can find my CV here.