Je suis maître de conférences en informatique à l'Université Joseph Fourier de Grenoble. Je travaille dans l'équipe CASYS au sein du LJK (bureau 14 de la tour IRMA).

Je fais aussi parti du groupe de travail en cryptographie Palo-Alto.

Vous me voyez avec Marine dont je complète occasionnellement l'éducation imparfaite que lui donnent ses parents en terme de système d'exploitation et de boissons alcoolisées.

Au menu :

• mes publications,
• mes logiciels,
• mes exposés,
• les enseignements que j'ai faits,
• les études que j'ai faites,
• mon autre page, celle avec du contenu intéressant.

Publications :

• Intégration numérique avec erreur bornée en précision arbitraire, Thèse. Version courante du manuscrit.
• MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding, avec Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier et Paul Zimmermann. ACM Transactions on Mathematical Software, 33(2), June 2007. (bib) Version Rapport de Recherche INRIA.
• Accurate Multiple-Precision Gauss-Legendre Quadrature, In 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 25-27 June 2007, Montpellier, France. Version préliminaire (bib).
• Multiple-Precision Correctly rounded Newton-Cotes quadrature, RAIRO Inf Thero. Appl. 41 (2007). Version rapport de recherche INRIA (bib).
• A comparison of polynomial evaluation schemes, avec Susanne Schmitt, In 6th Conference on Real Numbers and Computers RNC6. (Dagsthul, Allemagne). 2004. 17p. (ps) (pdf)
• Accurate Summation: Towards a Simpler and Formal Proof, avec Paul Zimmermann, In Proc. of RNC'5, pages 97-108, Mars 2003. (ps) (pdf)

Logiciels

• Correctly Rounded Quadrature, la bibliothèque d'intégration numérique démarrée dans le cadre de ma thèse.

J'écris aussi des logiciels qui n'ont pas spécialement leur place dans ma page pro (encore que), vous les trouverez directement depuis ma page d'accueil.

Exposés

Passés :

• 2007-11-21 : Journées 2007 de l'ANR GECKO, Sophia Antipolis.
• 2007-06-26 : ARITH 18, Montpellier.
• 2007-06-14 : Séminaire BIPOP-CASYS, Grenoble.
• 2007-01-29 : Journées Nationales de Calcul Formel, Luminy.
• 2007-01-23 : Rencontres arithmétiques de l'informatique mathématique, Montpellier.
• 2006-12-11 : Séminaire ALGO, Paris.
• 2006-06-12 : TYPES Workshop on Numbers and Proofs, Orsay.
• 2006-06-02 : Journées Nationales d'Arithmétique des Ordinateurs, Lyon.
• 2006-01-05 : Séminaire de l'équipe DALI, Perpignan.
• 2005-10-06 : Séminaire de l'équipe ANP, Paris.
• 2004-11-15 : RNC6, Dagstuhl (Allemagne).
• 2004-05-25 : Journées Arinews Printemps 2004, Paris.
• 2003-09-03 : RNC5, École Normale Supérieure de Lyon.

Enseignements

2006-2007

• des TDs et TPs d'OCaml en L1 rédigés en équipe et qui ne sont pas diffusés largement par décision commune. L'accès en est réservé aux profs et étudiants inscrits au module sur escale (aussi connu comme moodle).
• des TDs d'Initiation à la Cryptologie en M1. Une partie du matériel de TD pour cette année a été reprise de l'année précédente.

2005-2006

• des TDs et TPs d'OCaml en L1 rédigés en équipe et qui ne sont pas diffusés largement par décision commune.
• des TDs d'Initiation à la Cryptologie en M1, voir aussi la page du cours :
  • td1 (pdf) (tex)
  • td2 (pdf) (tex)
  • td3 (pdf) (tex)
  • td4 (pdf) (tex)
  • td5 (pdf) (tex)
  • td6 (pdf) (tex)
  • td7 (pdf) (tex)
  • td8 (pdf) (tex)
• des TPs de base de données et d'OCaml-le-retour en L1

2004-2005

• le cours d'Environnement Logiciel en DEA d'Informatique et Chimie théorique, dont voici les TDs :
  • td1 (ps) (pdf) (tex) et son corrigé (ps) (pdf) (tex)
  • td2 (ps) (pdf) (tex) et son corrigé (ps) (pdf) (tex)
  • td3 (ps) (pdf) (tex) et son corrigé (ps) (pdf) (tex)
  l'examen blanc (pdf) ainsi que son corrigé (pdf).
• les TDs d'Algorithmique en DEA d'Informatique et Chimie théorique :
  • td1 (ps) (pdf) (tex)
  • td2 (ps) (pdf) (tex)
  • td3 (ps) (pdf) (tex)
  • td4 (ps) (pdf) (tex)

Études

Contact