Arnaud Jobin

Profil

Docteur en informatique, j'ai travaillé au centre de recherche INRIA Rennes - Bretagne Atlantique dans le laboratoire de l' IRISA UMR 6074, dans l'équipe Celtique. Je suis actuellement professeur agrégé de mathématiques en CPGE au lycée Carnot. J'étais précédemment ATER à l'antenne de Bretagne de l'ENS Cachan. J'ai effectué ma thèse sous la direction de David Cachera et Thomas Jensen.

Mathématicien de formation, mes travaux de recherche consistent en l'étude d'outils mathématiques dans le cadre de l'analyse statique de programmes. Lors de ma thèse, je me suis principalement intéressé aux aspects quantitatifs en interprétation abstraite et au calcul efficace d'invariants polynomiaux de programmes.

Curriculum vitae

Vous pouvez télécharger mon CV.

Nouvelle page personnelle

Vous pouvez trouvez ici la page correspondant à mes nouvelles activités.

Activités Récentes

Je travaille actuellement sur le problème de l'inférence d'invariants polynomiaux de programme.

  • 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

    E-mail: arnaud [dot] jobin [at] gmail [dot] com

    Soutenance de thèse

    J'ai soutenu ma thèse le 16 Janvier 2012 dans les locaux de l'ENS Cachan, antenne de Bretagne.

    Vous pouvez télécharger la dernière version de mon manuscrit de thèse.