About me
I am a PhD at
INRIA Rennes - Bretagne
Atlantique research center and
IRISA UMR 6074 laboratory, in the
Celtique team. I currently work as a research and
teaching assistant for
Rennes I University , in the computer science research and
formation unit
ISTIC .
Static analysis consists in a collection of theories that enable the discovery of information on a given program's behavior, without having to run it. My interests lie in finding mathematical techniques to further this research topic.
Contact
| Address | : IRISA, Projet Celtique, Campus de Beaulieu, 35042 Rennes Cedex France |
| : arnaud [dot] jobin [at] irisa [dot] fr | |
| Phone | : +33 (0) 2 99 84 22 59 |
| Fax | : +33 (0) 2 99 84 71 71 |
PhD defense
My PhD defense was held on the 16th of January 2012 in Salle du Conseil of ENS Cachan, antenne de Bretagne.You can download the latest version of my PhD dissertation there.