Alin Bostan


Chargé de recherche
Équipe SpecFun, INRIA Saclay Île-de-France
Bât. Alan Turing, 1 rue Honoré d'Estienne d'Orves
91120 Palaiseau, France
Tél : +33 1 69 35 69 76
E-mail : Alin.Bostan@inria.fr
PGP : E620 2458 6849 93D6 5763 8EEA 8983 A000 2639 EA9C


Alin Bostan (2018)

Évènements
  • Programme thématique Recent Trends in Computer Algebra.
    Co-organisé avec Mark Giesbrecht, Christoph Koutschan, Marni Mishna, Mohab Safey El Din, Bruno Salvy et Gilles Villard.
    Du 1er avril au 15 juillet 2023 à Lyon et du 11 septembre au 8 décembre 2023 à l'Institut Henri Poincaré.

  • Groupe de travail Transcendance et Combinatoire.
    Co-organisé avec Lucia Di Vizio et Kilian Raschel à l'Institut Henri Poincaré et Inria Saclay depuis 2017.
    Prochaine séance le 9 avril 2021 de 14h à 16h – Jacques-Arthur Weil.

  • Séminaire de Calcul Formel, commun entre PolSys et SpecFun.
    Co-organisé avec Frédéric Chyzak, Huu Phuoc Le, et Mohab Safey El Din.
    C'est la suite du Séminaire SpecFun Computations and Proofs, co-organisé avec Frédéric Chyzak à l'Inria Saclay entre 2012 et 2020.
    Prochaine séance le 9 avril 2021 de 16h à 17h – Virginia Vassilevska Williams.

  • Séminaire Différentiel.
    Co-organisé avec Lucia Di Vizio entre Univ. Versailles et Inria Saclay depuis 2018.
    Séance du 30 mars 2021 – Masha Vlasenko (11h-12h), Duco van Straten (14h30-15h30) et Jason Bell (15h45-16h45).

  • GDR Équations Fonctionnelles et Interactions.
    Journées 2021 du 31 mai au 2 juin 2021, à Strasbourg.

  • Projet ANR De rerum natura (ANR-19-CE40-0018).
    Deciding irrationality and transcendence.
    Prochaines journées les 2–3 juin 2021, à Strasbourg.

  • Conférence Transient Transcendence in Transylvania.
    Co-organisée avec Kilian Raschel. Posters.
    Brașov, Roumanie, 13–17 mai 2019.

    • Comités éditoriaux
  • Journal of Symbolic Computation.
    Fondé par Bruno Buchberger en 1985, JSC s’adresse aux mathématiciens et informaticiens qui s’intéressent particulièrement au calcul formel.

  • Annals of Combinatorics.
    Fondé par William Y.C. Chen en 1997, Ann. Comb. s’adresse aux mathématiciens et informaticiens qui s’intéressent particulièrement aux mathématiques combinatoires au sens large du terme.

    • Livre
  • Algorithmes Efficaces en Calcul Formel.
    Livre auto-édité, 2017, 686 pages, ISBN 979-10-699-0947-2.
    Imprimé par CreateSpace et distribué par Amazon avec une version couleur gratuite en ligne.
    Avec Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Éric Schost : [PDF].

    • Prépublications
  • Differential transcendence of Bell numbers and relatives: a Galois theoretic approach.
    18 pages, soumis, 2020.
    Avec Lucia Di Vizio, Kilian Raschel: [PDF].

  • Fast Computation of the N-th Term of a q-Holonomic Sequence and Applications.
    33 pages, soumis, 2020.
    Avec Sergey Yurkevich: [PDF].

  • On a Class of Hypergeometric Diagonals.
    19 pages, soumis, 2020.
    Avec Sergey Yurkevich: [PDF].

  • Computer algebra for lattice path combinatorics.
    80 pages, soumis, 2019.

  • On sequences associated to the invariant theory of rank two simple Lie algebras.
    12 pages, soumis, 2019.
    Avec Jordan Tirrell, Bruce W. Westbury, Yi Zhang: [PDF].

  • A short proof of a non-vanishing result.
    2 pages, soumis, 2021: [PDF].

    • Articles
  • The generating function of Kreweras walks with interacting boundaries is not algebraic.
    12 pages, à paraître dans les Proceedings FPSAC 2021.
    Avec Manuel Kauers, Thibaut Verron: [PDF].

  • Stieltjes moment sequences for pattern-avoiding permutations.
    Electronic Journal of Combinatorics, vol. 27, issue 4, pp. 1–59, 2020.
    Avec Andrew Elvey Price, Anthony John Guttmann, Jean-Marie Maillard : [PDF].

  • A Simple and Fast Algorithm for Computing the N-th Term of a Linearly Recurrent Sequence.
    34 pages, 2020.
    Avec Ryuhei Mori: [PDF].
    Version courte parue dans Proceedings of SOSA'21 (SIAM Symposium on Simplicity in Algorithms), pp. 118–132, 2021.

  • Counting walks with large steps in an orthant.
    À paraître dans Journal of the European Mathematical Society, 2021.
    Avec Mireille Bousquet-Mélou, Stephen Melczer : [PDF].

  • Appendice de l'article
    Martin boundary of killed random walks on isoradial graphs.
    A paraitre dans Potential Analysis, 2021.
    Avec Cédric Boutillier, Kilian Raschel: [PDF].

  • Explicit degree bounds for right factors of linear differential operators.
    Bulletin of the London Mathematical Society, vol. 53, issue 1, pp. 53–62, 2021.
    Avec Tanguy Rivoal, Bruno Salvy : [PDF].

  • On the exponential generating function of labelled trees.
    Comptes Rendus de l'Académie des Sciences, tome 358, no. 9–10, pp. 1005–1009, 2020.
    Avec Antonio Jiménez-Pastor: [PDF].

  • Improved algorithms for left factorial residues.
    Information Processing Letters, article 106078, vol. 167, 2021.
    Avec Vladica Andrejić, Milos Tatarevic : [PDF].

  • On an integral identity.
    À paraître dans American Mathematical Monthly.
    Avec Fernando Chamizo, Mikael P. Sundqvist: [PDF].

  • The Sage Package comb_walks for Walks in the Quarter Plane.
    Communications in Computer Algebra, vol. 54, no. 2, issue 212, pp. 30–38, 2020.
    Avec Frédéric Chyzak, Antonio Jiménez-Pastor, Pierre Lairez: [PDF].

  • Computing the N-th term of a q-holonomic sequence.
    Proceedings ISSAC'20, pp. 46–53, ACM Press, 2020.
    [PDF].

  • Weakly-unambiguous Parikh automata and their link to holonomic series.
    Proceedings ICALP 2020, LIPIcs, vol. 168, pp. 114:1–114:16, 2020.
    Avec Arnaud Carayol, Florent Koechlin, Cyril Nicaud : [PDF].

  • Subresultants of (x-α)m and (x-β)n, Jacobi polynomials and complexity.
    Journal of Symbolic Computation, vol. 101, pp. 330–351, 2020.
    Avec Teresa Krick, Agnes Szanto, Marcelo Valdettaro : [PDF].

  • Appendice de l'article
    A note on gamma triangles and local gamma vectors,
    Annales de la faculté des sciences de Toulouse, vol. XXIX, no. 4, pp. 907–925, 2020.
    Avec Frédéric Chapoton : [PDF].

  • On the least common multiple of several random integers.
    Journal of Number Theory, vol. 204, pp. 113–133, 2019.
    Avec Alexander V. Marynych, Kilian Raschel : [PDF].

  • Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic.
    ANTS–XIII (Thirteenth Algorithmic Number Theory Symposium, 2018), vol. 2, no. 1, pp. 119–135, 2019.
    Avec Xavier Caruso, Gilles Christol, Philippe Dumas : [PDF].

  • Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions.
    ISSAC'18, pp. 95–102, ACM Press, 2018.
    Avec Frédéric Chyzak, Pierre Lairez, Bruno Salvy : [PDF].

  • On matrices with displacement structure: generalized operators and faster algorithms.
    SIAM Journal on Matrix Analysis and Applications, vol. 38, no. 3, pp. 733–775, 2017.
    Avec Claude-Pierre Jeannerod, Christophe Mouilleron, Éric Schost : [PDF].

  • Subresultants in multiple roots: An extremal case.
    Linear Algebra and its Applications, vol. 529, pp. 185–198, 2017.
    Avec Carlos D'Andrea, Teresa Krick, Agnes Szanto, Marcelo Valdettaro : [PDF].

  • Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity.
    Journal of Symbolic Computation, vol. 83, pp. 68–92, 2017.
    Avec Louis Dumont, Bruno Salvy : [PDF].

  • Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane.
    European Journal of Combinatorics, vol. 61, pp. 242–275, 2017.
    Avec Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech : [PDF].

  • Multiple binomial sums.
    Journal of Symbolic Computation, vol. 80, no. 2, pp. 351–386, 2017.
    Avec Pierre Lairez, Bruno Salvy : [PDF].

  • Computation of the Similarity Class of the p-Curvature.
    Proceedings ISSAC'16, pp. 111–118, ACM Press, 2016.
    Avec Xavier Caruso, Éric Schost : [PDF].

  • Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field.
    Proceedings ISSAC'16, pp. 119–126, ACM Press, 2016.
    Avec Gilles Christol, Philippe Dumas : [PDF].

  • Efficient Algorithms for Mixed Creative Telescoping.
    Proceedings ISSAC'16, pp. 127–134, ACM Press, 2016.
    Avec Louis Dumont, Bruno Salvy : [PDF].

  • A human proof of Gessel's lattice path conjecture.
    Transactions of the American Mathematical Society, vol. 369, no. 2, pp. 1365–1393, 2017.
    Avec Irina Kurkova, Kilian Raschel : [PDF].

  • On 3-dimensional lattice walks confined to the positive octant.
    Annals of Combinatorics, vol. 20, no. 4, pp. 661–704, 2016.
    Avec Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer : [PDF].

  • Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields.
    Mathematics of Computation, vol. 85, no. 299, pp. 1393–1425, 2016.
    Avec Guillaume Chèze, Thomas Cluzeau, Jacques-Arthur Weil : [PDF].

  • Diagonals of rational functions and selected differential Galois groups.
    Journal of Physics A: Mathematical and Theoretical, vol. 48, no. 50, pp. 504001–504030, 2015.
    Exactly solved models and beyond: a special issue in honour of R J Baxter's 75th birthday.
    Avec Salah Boukraa, Jean-Marie Maillard, Jacques-Arthur Weil : [PDF],

  • A fast algorithm for computing the p-curvature.
    Proceedings ISSAC'15, pp. 69–76, ACM Press, 2015.
    Avec Xavier Caruso, Éric Schost : [PDF].

  • Algebraic Diagonals and Walks.
    Proceedings ISSAC'15, pp. 77–84, ACM Press, 2015.
    Avec Louis Dumont, Bruno Salvy : [PDF].

  • Compter les excursions sur un échiquier.
    Pour la Science, no. 449, pp. 40–46, 2015.
    Avec Kilian Raschel.

  • A fast algorithm for computing the characteristic polynomial of the p-curvature.
    Proceedings ISSAC'14, pp. 59–66, ACM Press, 2014.
    Avec Xavier Caruso, Éric Schost : [PDF].

  • Computing necessary integrability conditions for planar parametrized homogeneous potentials.
    Proceedings ISSAC'14, pp. 67–74, ACM Press, 2014.
    Avec Thierry Combot, Mohab Safey El Din : [PDF].

  • Non-D-finite excursions in the quarter plane.
    Journal of Combinatorial Theory Series A, vol. 121, pp. 45–63, 2014.
    Avec Kilian Raschel, Bruno Salvy : [PDF], [Bibtex].

  • Creative telescoping for rational functions using the Griffiths-Dwork method.
    Proceedings ISSAC'13, pp. 93–100, ACM Press, 2013.
    Avec Pierre Lairez, Bruno Salvy : [PDF], [BibTex].

  • Complexity Estimates for Two Uncoupling Algorithms.
    Proceedings ISSAC'13, pp. 85–92, ACM Press, 2013.
    Avec Frédéric Chyzak, Élie de Panafieu : [PDF], [BibTex].

  • Hermite reduction and creative telescoping for hyperexponential functions.
    Proceedings ISSAC'13, pp. 77–84, ACM Press, 2013.
    Avec Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin : [PDF], [BibTex].

  • Ising n-fold integrals as diagonals of rational functions and integrality of series expansions.
    Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 18, pp. 185202–185245, 2013.
    Avec Salah Boukraa, Gilles Christol, Saoud Hassani, Jean-Marie Maillard : [PDF], [BibTex].

  • Ising n-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity.
    Arxiv preprint, 100 pages, 2012.
    Avec Salah Boukraa, Gilles Christol, Saoud Hassani, Jean-Marie Maillard : [PDF].

  • Quasi-optimal multiplication of linear differential operators.
    Proceedings FOCS'12, pp. 524–530, 2012.
    Avec Alexandre Benoit, Joris van der Hoeven : [PDF], [Bibtex].

  • Power Series Solutions of Singular (q)-Differential Equations.
    Proceedings ISSAC'12, pp. 107–114, ACM Press, 2012.
    Avec Muhammad Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators.
    Proceedings ISSAC'12, pp. 99–106, ACM Press, 2012.
    Avec Frédéric Chyzak, Ziming Li, Bruno Salvy : [PDF], [BibTex].

  • A binomial-like matrix equation.
    American Mathematical Monthly, vol. 119, pp. 593–597, 2012.
    Avec Thierry Combot : [PDF], [BibTex].

  • Explicit formula for the generating series of diagonal 3D rook paths.
    Séminaire Lotharingien de Combinatoire, vol. 66, pp. 1–27, 2011.
    Avec Frédéric Chyzak, Mark van Hoeij, Lucien Pech : [PDF], [BibTex].

  • Homotopy techniques for multiplication modulo triangular sets.
    Journal of Symbolic Computation, vol. 46, no. 12, pp. 1378–1402, 2011.
    Avec Muhammad Chowdhury, Joris van der Hoeven, Éric Schost : [PDF], [BibTex].

  • The Ising model: from elliptic curves to modular forms and Calabi-Yau equations.
    Journal of Physics A: Mathematical and Theoretical, vol. 44, no. 4, 045204 (44pp), 2011.
    Avec S. Boukraa, S. Hassani,     M. van Hoeij, J.-M. Maillard, J.-A. Weil and N. Zenine : [PDF], [BibTex].

  • Generating functions of Chebyshev-like polynomials.
    International Journal of Number Theory, vol. 6, no. 7, pp. 1659–1667, 2010.
    Avec Bruno Salvy, Khang Tran: [PDF], [BibTex].

  • Wronskians and linear independence.
    American Mathematical Monthly, vol. 117, no. 8, pp. 722–727, 2010.
    Avec Philippe Dumas : [PDF], [BibTex].

  • Complexity of Creative Telescoping for Bivariate Rational Functions.
    Proceedings ISSAC'10, pp. 203–210, ACM Press, 2010.
    Avec Shaoshi Chen, Frédéric Chyzak, Ziming Li : [PDF], [BibTex].

  • Renormalization, isogenies and rational symmetries of differential equations.
    Advances in Mathematical Physics, vol. 2010, Article ID 941560, 44 pages, 2010.
    Avec S. Boukraa, S. Hassani,     J.-M. Maillard, J.-A. Weil, N. Zenine and N. Abarenkova : [PDF], [BibTex].

  • The complete generating function for Gessel walks is algebraic.
    Proceedings of the American Mathematical Society, vol. 138, no. 9, pp. 3063–3078, 2010.
    Avec Manuel Kauers, Mark van Hoeij : [PDF], [BibTex].

  • Fast Conversion Algorithms for Orthogonal Polynomials.
    Linear Algebra and its Applications, vol. 432, no. 1, pp. 249–258, 2010.
    Avec Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • High order Fuchsian equations for the square lattice Ising model: \tilde{\chi}^{(5)} .
    Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 27, 275209 (32pp), 2009.
    Avec S. Boukraa, A. J. Guttmann, S. Hassani, I. Jensen, J.-M. Maillard and N. Zenine : [PDF], [BibTex].

  • Automatic Classification of Restricted Lattice Walks.
    Proceedings FPSAC'09, Discrete Mathematics and Theoretical Computer Science, pp. 203–217, 2009.
    Avec Manuel Kauers : [PDF], [BibTex].

  • Fast algorithms for differential equations in positive characteristic.
    Proceedings ISSAC'09, pp. 47–54, ACM Press, 2009.
    Avec Éric Schost : [PDF], [BibTex].

  • Globally nilpotent differential operators and the square Ising model.
    Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 12, pp. 125206–125255, 2009.
    Avec S. Boukraa, S. Hassani, J.-M. Maillard, J.-A. Weil and N. Zenine : [PDF], [BibTex].

  • A simple and fast algorithm for computing exponentials of power series.
    Information Processing Letters, vol. 109, no. 13, pp. 754–756, 2009.
    Avec Éric Schost : [PDF], [BibTex].

  • Solving structured linear systems with large displacement rank.
    Theoretical Computer Science, vol. 407, no. 1–3, pp. 155–181, 2008.
    Avec Claude-Pierre Jeannerod, Éric Schost : [PDF], [BibTex].

  • Power Series Composition and Change of Basis.
    Proceedings ISSAC'08, pp. 269–276, ACM Press, 2008.
    Avec Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Products of Ordinary Differential Operators by Evaluation and Interpolation.
    Proceedings ISSAC'08, pp. 23–30, ACM Press, 2008.
    Avec Frédéric Chyzak, Nicolas Le Roux : [PDF], [BibTex].

  • Fast algorithms for computing isogenies between elliptic curves.
    Mathematics of Computation, vol. 77, no. 263, pp. 1755–1778, 2008.
    Avec François Morain, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Solving Toeplitz- and Vandermonde-like Linear Systems with Large Displacement Rank.
    Proceedings ISSAC'07, pp. 33–40, ACM Press, 2007.
    Avec Claude-Pierre Jeannerod, Éric Schost : [PDF], [BibTex].

  • Differential equations for algebraic functions.
    Proceedings ISSAC'07, pp. 25–32, ACM Press, 2007.
    Avec Frédéric Chyzak, Grégoire Lecerf, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Linear recurrences with polynomial coefficients and application to integer factorization and Cartier-Manin operator.
    SIAM Journal on Computing, vol. 36, no. 6, pp. 1777–1806, 2007.
    Avec Pierrick Gaudry, Éric Schost : [PDF], [BibTex].

  • Fast computation of power series solutions of systems of differential equations.
    Proceedings SODA'07, pp. 1012–1021, SIAM Press, 2007.
    Avec F. Chyzak, F. Ollivier, B. Salvy, É. Schost, A. Sedoglavic : [PDF], [BibTex].

  • Low Complexity Algorithms for Linear Recurrences.
    Proceedings ISSAC'06, pp. 31–38, ACM Press, 2006.
    Avec Frédéric Chyzak, Thomas Cluzeau, Bruno Salvy : [PDF], [BibTex].

  • Fast Computation of Special Resultants.
    Journal of Symbolic Computation, vol. 41, no. 1, pp. 1–29, 2006.
    Avec Philippe Flajolet, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Fast algorithms for polynomial solutions of linear differential equations.
    Proceedings ISSAC'05, pp. 45–52, ACM Press, 2005.
    Avec Thomas Cluzeau, Bruno Salvy : [PDF], [BibTex].

  • From Newton sums to coefficients: complexity issues in characteristic p.
    Proceedings MEGA'05, 2005.
    Avec Laureano González-Vega, Hervé Perdry, Éric Schost : [PDF], [BibTex].

  • Polynomial evaluation and interpolation on special sets of points.
    Journal of Complexity, vol. 21, no. 4, pp. 420–446, 2005.
    Avec Éric Schost : [PDF], [BibTex].

  • Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curves.
    Proceedings Fq7, Lecture Notes in Computer Science, vol. 2948, pp. 40–58, Springer, 2004.
    Avec Pierrick Gaudry, Éric Schost : [PDF], [BibTeX].

  • On the complexities of multipoint evaluation and interpolation.
    Theoretical Computer Science, vol. 329, issues 1–3, pp. 223–235, 2004.
    Avec Éric Schost : [PDF], [BibTex].

  • Complexity issues in bivariate polynomial factorization.
    Proceedings ISSAC'04, pp. 42–49, ACM Press, 2004.
    Avec Grégoire Lecerf, Bruno Salvy, Éric Schost, Bernd Wiebelt : [PDF], [BibTex].

  • Tellegen's Principle into Practice.
    Proceedings ISSAC'03, pp. 37–44, ACM Press, 2003.
    Avec Grégoire Lecerf, Éric Schost : [PDF], [BibTeX].
    ISSAC 2003 Distinguished Student Author Award.

  • Fast Algorithms for Zero-Dimensional Polynomial Systems Using Duality.
    Applicable Algebra in Engineering, Communication and Computing, vol. 14, no. 4, pp. 239–272, 2003.
    Avec Bruno Salvy, Éric Schost : [PDF], [BibTeX].

    • Cours
  • Algorithmes efficaces en calcul formel.
    Cours dispensé au Master Parisien de Recherche en Informatique (MPRI) depuis 2006.
    Page du cours : C-2-22.

  • Modern Algorithms for Symbolic Summation and Integration.
    Cours dispensé au Master d'Informatique Fondamentale de l'ENS de Lyon depuis 2019.
    Page du cours : CR-06.

  • Efficient experimental mathematics for combinatorics and number theory.
    Cours dispensé lors de la Vienna Summer School of Mathematics in Weissensee du 23 au 27 septembre 2019.
    Page du cours.
    Transparents du cours : I (Context, Motivation, Examples), II (Experimental Mathematics for Combinatorics), III (Inside the Experimental Math. Toolbox). Exercices : I, II,

  • Algebraicity and transcendence of power series: combinatorial and computational aspects.
    Cours dispensé lors de la 3rd Algorithmic and Enumerative Combinatorics Summer School 2016 du 1er au 5 août 2016.
    Transparents du cours : I (Context and Examples), II (Properties and Criteria, 1), III (Properties and Criteria, 2), IV (Algorithmic Proofs of Algebraicity), V (Transcendence in Lattice Path Combinatorics). Exercices : I, II,

  • Computer Algebra for Lattice Path Combinatorics.
    Cours dispensé au 74ème Séminaire Lotharingien de Combinatoire du 23 au 25 mars 2015.
    Transparents de l'exposé : I (General presentation), II (Guess'n'Prove), III (Creative telescoping).

  • Calcul Formel pour la combinatoire.
    Cours dispensé aux Journées ALEA 2012.
    Avec Bruno Salvy.
    Transparents de l'exposé : I, II. Séance de TP : énoncé, solution.

  • Algorithmes rapides pour les polynômes, séries formelles et matrices.
    Notes du cours dispensé aux Journées Nationales du Calcul Formel 2010.
    Les cours du CIRM, vol. 1, no. 2, pp. 75–262, 2010.
    Document du cours et transparents de l'exposé, [BibTex].

  • D-finitude : algorithmes et applications.
    Notes du cours dispensé à l'École Jeunes Chercheurs Informatique Mathématique 2007.
    Avec Bruno Salvy et Frédéric Chyzak.
    Document du cours et transparents des exposés.

    • Thèses
  • Habilitation à Diriger des Recherches.
    Soutenue le 15 décembre 2017 à l'Université Paris 13.
    Mémoire HDR et transparents de la soutenance.

  • Thèse de doctorat sous la direction de Marc Giusti et de Bruno Salvy.
    Soutenue le 9 décembre 2003 à l'École polytechnique.
    Prix de thèse 2004 de l'Association française d'informatique fondamentale (AFIF).
    Prix de thèse 2004 de l'École polytechnique.
    Document de thèse    , résumé, table des matières et transparents de la soutenance.