Arnaud Jobin

About me

I am a PhD at INRIA Rennes - Bretagne Atlantique research center and IRISA UMR 6074 laboratory, in the Celtique team. I am currently teaching mathematics in "classes préparatoires", lycée Carnot. I precedently worked as a research and teaching assistant for ENS Cachan - Brittany Branch. I've done my PhD thesis under the supervision of David Cachera and Thomas Jensen.

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.

Curriculum vitae

You can download my CV (in french).

New homepage

You can find here the webpage corresponding to my new activities.

Current activities

I am currently working on the problem of inferring polynoimal invariants in an efficient way.

  • David Cachera, Thomas Jensen, Arnaud Jobin, Florent Kirchner. Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. In 19th International Static Analysis Symposium (SAS), 2012.
    [pdf]
  • Contact

    Address: IRISA, Projet Celtique, Campus de Beaulieu, 35042 Rennes Cedex France
    E-mail: 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 (in french).