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.
- thomas dot rubiano at inria dot fr
- Université Rennes 1 - Campus de Beaulieu, 263 avenue du Général Leclerc 35 042 RENNES cedex
- IRC : rubiano (freenode, mozilla, OFTC)
- Framasphere : firstname.lastname@example.org
You can find my CV here.