Avatar

Thibaut Verron


About me À propos de moi Über mich

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.

Ich bin derzeit als Postdoc am Institut für Algebra an der Johannes Kepler Universität (Linz, Österreich) angestellt, und arbeite mit Manuel Kauers im Bereich analytische Kombinatorik und Computeralgebra.

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.

Meine Doktorarbeit habe ich im PolSys (Polynomial Systems) Team des LIP6 (UPMC, Paris, France), unter Aufsicht von Jean-Charles Faugère und Mohab Safey El Din, geschrieben. Darin ging es um algorithmische Auflösung von Polynomsystemen, und genauer um Regularität von Gröbner-Basisberechnungen für strukturierte Systeme.

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 Publications Publikationen

Submitted articles Articles soumis Eingereichte Artikel

  • Time minimal saturation of a pair of spins and application in Magnetic Resonance Imaging (2018)
    B. Bonnard, O. Cots, J. Rouot, T. Verron
    Links Links Liens: hal
  • Signature-based criteria for Möller's algorithm for computing Gröbner bases over principal ideal domains (2018)
    M. Francis, T. Verron
    Links Links Liens: .pdf, arXiv, .bib, Quellcode source code code source

Conference proceedings Articles de conférences Konferenzbeiträge

  • On affine tropical F5 algorithms
    T. Vaccon, T. Verron, K. Yokoyama
    International Symposium on Symbolic and Algebraic Computation 2018
    CUNY Graduate Center, New York, USA, 2018/07/18
    Links Links Liens: .pdf, arXiv, .bib
  • 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 Links Liens: .pdf, arXiv, .bib, slides, Quellcode und Daten 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 Links Liens: .pdf, arXiv, .bib, slides

Journals Journaux Zeitschriften

  • 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 Links Liens: .pdf, arXiv, .bib

Other documents Autres documents Andere Dokumente

  • Working Notes on the Time Minimal Saturation of a Pair of Spins and Application in Magnetic Resonance Imaging (2018)
    B. Bonnard, O. Cots, J. Rouot, T. Verron
    Links Links Liens: .pdf, hal, .bib
  • 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 Links Liens: .pdf, hal, .bib

Thesis Thèse Doktorarbeit

  • Regularisation of Gröbner basis computations for weighted and determinantal systems, and an application to medical imagery 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 Verteidigt am 26. September 2016
    Links Links Liens: .pdf, erratum (last updated on 2018/05/16), (mis à jour le 16 mai 2018), (zuletzt aktualisiert am 16. Mai 2018), .bib, slides

  • Who wants (a few) "guessing" data points for free?
    SFB Statusseminar, Strobl, Austria, 2018/12/05
    Links Links Liens: slides
  • Software tutorial: Computing elimination polynomials using interpolation
    SFB Statusseminar, Strobl, Austria, 2018/12/04
    Links Links Liens: code (org-mode file, can be opened as a plain-text file)
  • Signature-based criteria for computing weak Gröbner bases over PIDs
  • Algebraic classification methods for an optimal control problem in medical imagery
    Seminar Algebra and Discrete Mathematics
    Johannes Kepler University, Linz, Austria, 2017/12/07
    Links Links Liens: slides
  • Régularité du calcul de bases de Gröbner pour les systèmes homogènes avec poids Regularity of Gröbner basis computations for weighted-homogeneous systems Regularity of Gröbner basis computations for weighted-homogeneous systems
    Séminaire Géométrie et algèbre effectives
    IRMAR, Université Rennes 1, Rennes, France, 2017/06/02
    Links Links Liens: abstract (in French) (auf Französisch), slides

Teaching Enseignement Lehre


Johannes Kepler University, Linz

For my teachings in France, please visit the french version of this page.
Zu meiner Lehre in Frankreich kann man die französische Version dieser Seite besuchen.
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 Software Logiciel

  • Magma-mode
    Emacs mode to edit Magma source code. It is built upon 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.
    Emacs Modus für Magma Quellcode. Es basiert auf dem Magma-mode, den Luk Bettale während seiner Doktorarbeit geschrieben hat. Das Paket ist erhältlich bei github oder melpa.