About me À propos de moi

I am currently a post-doc at the Institute for Algebra at the Johannes Kepler University (Linz, Austria), working with Manuel Kauers on analytic combinatorics and computer algebra.

Je suis actuellement en post-doc à l'Institute for Algebra à l'Université Johannes Kepler (JKU, Linz, Autriche), pour un travail en combinatoire analytique et calcul formel en collaboration avec Manuel Kauers.

I did my PhD thesis in the PolSys team, in the LIP6 (UPMC, Paris, France), under supervision by Jean-Charles Faugère and Mohab Safey El Din. My thesis was about the algorithmic resolution of polynomial systems, and more precisely, the regularity of the computations of Gröbner bases for structured systems. I have been working on Gröbner basis algorithms for weighted homogeneous systems, and on a real roots classification problem for determinantal systems.

J'ai effectué ma thèse au sein de l'équipe PolSys (Polynomial Systems) du LIP6 (UPMC, Paris, France), sous la direction de Jean-Charles Faugère et Mohab Safey El Din. Mon sujet de thèse portait sur la résolution algorithmique de systèmes de polynômes, et plus précisément sur la régularité du calcul de bases de Gröbner pour les systèmes structurés. J'ai notamment travaillé sur le calcul de bases de Gröbner pour des systèmes homogènes avec poids, ainsi que sur un problème de classification des racines réelles d'une variété déterminantielle.

Publications

Submitted papers Articles soumis

  • Algebraic-geometric techniques for the feedback classification and robustness of the optimal control of a pair of Bloch equations with application to Magnetic Resonance Imaging (2017)
    B. Bonnard, O. Cots, J.-C. Faugère, A. Jacquemard, J. Rouot, M. Safey El Din, T. Verron
    Links Liens: .pdf

Conference proceedings Articles de conférences

  • Determinantal sets, singularities and application to optimal control in medical imagery
    B. Bonnard, J.-C. Faugère, A. Jacquemard, M. Safey El Din, T. Verron
    International Symposium on Symbolic and Algebraic Computation 2016
    Wilfrid Laurier University, Waterloo, Canada, 2016/07/20
    Links Liens: .pdf, arXiv, .bib, slides, source code and data données et code source
  • On the complexity of computing Gröbner bases for quasi-homogeneous systems
    J.-C. Faugère, M. Safey El Din, T. Verron
    International Symposium on Symbolic and Algebraic Computation 2013
    Northeastern University, Boston, USA, 2013/06/29
    Links Liens: .pdf, arXiv, .bib, slides

Journals Journaux

  • On the complexity of computing Gröbner bases for weighted homogeneous systems
    J.-C. Faugère, M. Safey El Din, T. Verron
    Journal of Symbolic Computations, Volume 76, 2016
    Links Liens: .pdf, arXiv, .bib

Thesis Thèse

  • Regularisation of Gröbner basis computations for weighted and determinantal systems, and an application to medical imagery Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale
    Defended on 2016/09/26 Soutenue le 26 septembre 2016
    Links Liens: .pdf, .bib, slides


Teaching Enseignement

Details on my teaching charges can be found on the french version of this page.
Institut National Polytechnique de Toulouse
(Les ressources pour ces enseignements sont sur moodle)
  • Mathématiques pour La Prépa de l'INP
    Niveau Bac+2
    2016-2017 semestre 2: chargé de TP
  • Optimisation
    1ère année de l'ENSEEIHT, option maths
    2016-2017 semestre 2: chargé de TP (2 groupes)

Université Pierre et Marie Curie, Paris

Software Logiciel

  • Magma-mode
    Emacs mode to edit Magma source code. It is built on the magma-mode written by Luk Bettale during his PhD. The package can be obtained from github or via melpa.
    Mode emacs pour éditer du code Magma, basé sur le magma-mode développé par Luk Bettale au cours de sa thèse. Le package est disponible sur github ou via melpa.