Thi Xuan Vu

Thi Xuan Vu

Maître de Conférences
Université de Lille
CRIStAL, CFHP Team
📧 thi-xuan.vu@univ-lille.fr

Brief Bio

Since September 2024, I have been an Associate Professor (Maître de Conférences) at the Université de Lille, working in the CRIStAL laboratory as part of the CFHP team.

In December 2020, I obtained my PhD in Computer Science under a cotutelle from the University of Waterloo, Canada (supervised by Éric Schost and George Labahn) and Sorbonne University, France (supervised by Mohab Safey El Din). After my doctorate, I was a postdoctoral researcher at UiT The Arctic University of Norway until February 2024, working with Cordian Riener, and spent six months at Johannes Kepler University in Linz, Austria, collaborating with Manuel Kauers.

I obtained my Master’s degree in Computer Science from ENS de Lyon in 2017.

Research

My research interests lie in symbolic computation (computer algebra), computational (real) algebraic geometry, and polynomial system solving.

Preprints

  1. The DenefLipshitz Algorithm (2025), François Boulier, François Lemaire, and Thi Xuan Vu. HAL
  2. Symbolic Computation with Symmetric Polynomials in Real Algebraic Geometry (2025), Cordian Riener and Thi Xuan Vu. arXiv / HAL
  3. Deciding Connectivity in Symmetric Semi-Algebraic Sets (2025), Cordian Riener, Robin Schabert, and Thi Xuan Vu. arXiv / HAL

Publications

  1. Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings (2025), Thi Xuan Vu, In: Proceedings of ISSAC 2025, Guanajuato, Mexico. DOI / arXiv / HAL
  2. Connectivity in Symmetric Semi-Algebraic Sets (2024), Cordian Riener, Robin Schabert, and Thi Xuan Vu, In: Proceedings of ISSAC 2024, Raleigh, USA. DOI / arXiv

    Robin S. received a SIGSAM Distinguished Student Author Award.

  3. Computing critical points for invariant algebraic systems (2023), George Labahn, Mohab Safey El Din, Éric Schost, and Thi Xuan Vu, In: Journal of Symbolic Computation. DOI / arXiv
  4. Faster real root decision algorithm for symmetric polynomials (2023), George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, and Thi Xuan Vu, In: Proceedings of ISSAC 2023, Tromsø, Norway. DOI / arXiv
  5. Computing critical points for algebraic systems defined by hyperoctahedral invariant polynomials (2022), Thi Xuan Vu, In: Proceedings of ISSAC 2022, Lille, France. DOI / arXiv
  6. Rank-sensitive computation of the rank profile of a polynomial matrix (2022), George Labahn, Vincent Neiger, Thi Xuan Vu, and Wei Zhou, In: Proceedings of ISSAC 2022, Lille, France. DOI / arXiv
  7. Homotopy techniques for solving sparse column support determinantal polynomial systems (2021), George Labahn, Mohab Safey El Din, Éric Schost, and Thi Xuan Vu, In: Journal of Complexity. DOI / arXiv
  8. Solving determinantal systems using homotopy techniques (2021), Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, and Thi Xuan Vu, In: Journal of Symbolic Computation. DOI / arXiv
  9. Computing canonical bases of modules of univariate relations (2017), Vincent Neiger and Thi Xuan Vu, In: Proceedings of ISSAC 2017, Kaiserslautern, Germany. DOI / arXiv

    Received a SIGSAM Distinguished Student Author Award.

PhD Thesis

Homotopy algorithms for solving structured determinantal systems (2020). UW / SU

Teaching

I teach undergraduate and graduate courses in algorithms and programming at the Université de Lille.

During my doctorate, I was a teaching assistant at the University of Waterloo for the courses: CS 466/666 - Algorithm Design and Analysis; CS 475/675 - Computational Linear Algebra; AMATH 242/CS 371 - Introduction to Computational Math; CS 245 - Logic and Computation; CS 136 - Elementary Algorithm Design and Data Abstraction.

Students

Internship

Community Service

  • Software Presentations Chair, ISSAC 2025, Guanajuato, Mexico
  • Local Arrangements Committee, ISSAC 2023, Tromsø, Norway

    • Talks

  • Computing polynomial representation in subrings of multivariate polynomial rings, SCG Seminar, University of Waterloo, Canada, 2025
  • Computing polynomial representation in subrings of multivariate polynomial rings, ISSAC 2025, Guanajuato, Mexico, 2025
  • Connectivity in symmetric semi-algebraic sets, JNCF 2025 (Francophone Computer Algebra Days), CIRM, Luminy, France, 2025
  • Connectivity in symmetric semi-algebraic sets, ISSAC 2024, Raleigh, NC, USA, 2024
  • Symmetric polynomials and beyond, seminar Algebra and Discrete Mathematics, JKU, Linz, 2024
  • Some faster algorithms for symmetric polynomials, seminar at ECO team, Montpellier, France, 2024
  • Faster algorithms for solving some polynomial algebraic systems, seminar at CFHP team, Lille, France, 2024
  • Some faster algorithms for symmetric polynomial systems, Applied Algebra seminar, University of Copenhagen, Denmark, 2024
  • Real root decision algorithms for symmetric invariant polynomial systems, Symmetry, Stability, and interactions with Computation Conference, Luminy, France, 2023
  • Faster real root decision algorithm for symmetric polynomials, ISSAC 2023, Tromsø, Norway, 2023
  • Invariant polynomials in optimization and real algebraic geometry, SIAM AG 2023, Eindhoven, The Netherlands, 2023
  • Faster real root decision algorithm for symmetric polynomials, Mørketidens Mattemøte 2023, Tromsø, Norway, 2023
  • Faster algorithms for symmetric polynomials, MAX team Seminar, LIX Laboratory, École polytechnique, France, 2023
  • Computing critical points for algebraic systems defined by hyperoctahedral invariant polynomials, ISSAC 2022, Lille, France, 2022
  • Computing critical points for invariant algebraic systems, Algebra Group Seminar, UiT The Arctic University of Norway, Tromsø, 2021
  • Homotopy techniques for solving determinantal polynomial systems, MAX team Seminar, LIX Laboratory, École polytechnique, France, 2021
  • Solving structured determinantal systems using homotopy methods with an application to computing isolated critical points for invariant systems, PhD Seminar, University of Waterloo, Canada, 2020
  • Solving determinantal systems by using homotopy techniques and exploiting the column structures, PhD Seminar, University of Waterloo, Canada, 2020
  • Computing critical points for invariant algebraic systems, PhD Seminar, University of Waterloo, Canada, 2019
  • Solving determinantal systems by using homotopy techniques, SCG Seminar, University of Waterloo, Canada, 2017
  • Computing canonical bases of modules of univariate relations, ISSAC 2017, Kaiserslautern, Germany, 2017