About me À propos de moi

I am currently a post-doc in computer science in the APO team at the IRIT (INP-ENSEEIHT, Toulouse, France), working on optimal control theory with Joseph Gergaud and Olivier Cots.

Je suis actuellement en post-doc dans l'équipe APO (Algorithmes Parallèles et Optimisation) de l'IRIT (INP-ENSEEIHT, Toulouse, France), pour un travail en théorie du contrôle optimal en collaboration avec Joseph Gergaud et Olivier Cots.

Before that, 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.

Auparavant, 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

  • 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.