My website

Thi Xuan Vu


Post-Doctoral Fellow
Algebra Group
Department of Mathematics and Statistics
UiT, The Arctic University of Norway, Tromsø, Norway
thi.x.vu@uit.no



Brief bio

Currently I am a postdoctoral fellow at Algebra Group - UiT, The Arctic University of Norway under the supervision of Cordian Riener.

In Dec 2020, I received doctorates in Computer Science from the University of Waterloo, Canada under the supervision of Éric Schost and George Labahn and the Sorbonne Université (Paris 6), France under the supervision of Mohab Safey El Din.

Before that, I obtained a master degree in Fundamental Computer Science from the École Normale Supérieure de Lyon, France in 2017.


Research interests

Computer Algebra (Symbolic Computation), Polynomial System Solving, Computational Algebraic Geometry. I am also interested in learning Cryptography and Quantum Information.

Publications

  1. Computing critical points for invariant algebraic systems, 2023 - Jean-Charles Faugère,  George Labahn, Mohab Safey El Din, Éric Schost, and Thi Xuan Vu, Journal of Symbolic Computation. arXiv/ DOI
  2. Computing critical points for algebraic systems defined by hyperoctahedral invariant polynomials, 2022  -  Thi Xuan Vu, Proceedings of ISSAC 2022 conference.  arXiv/ DOI
  3. Rank-sensitive computation of the rank profile of a polynomial matrix, 2022 -  George Labahn, Vincent Neiger, Thi Xuan Vu, and Wei Zhou, Proceedings of ISSAC 2022 conference. arXiv/ DOI
  4. Homotopy techniques for solving sparse column support determinantal polynomial systems, 2021 - George Labahn, Mohab Safey El Din, Éric Schost, and Thi Xuan Vu, Journal of Complexity. arXiv/ DOI
  5. Solving determinantal systems using homotopy techniques, 2021 - Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, and Thi Xuan Vu, Journal of Symbolic Computation. arXiv/ DOI
  6. Computing canonical bases of modules of univariate relations, 2017 - Vincent Neiger and Thi Xuan Vu, Proceedings of ISSAC 2017 conference. (Received a SIGSAM ISSAC 2017 distinguished student author award). arXiv/ DOI/ Award

Thesis

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

Talks

  • Jul. 2022 - Computing critical points for algebraic systems defined by hyperoctahedral invariant polynomials - ISSAC 2022, Lille, France.
  • Apr. 2021 - Computing critical points for invariant algebraic systems - Algebra Group seminar, UiT The Arctic University of Norway. 
  • Dec. 2020 - Homotopy techniques for solving determinantal polynomial systems - MAX seminar, LIX Laboratory, École polytechnique, France. 
  • Dec. 2020 - Solving structured determinantal systems using homotopy methods with an application to computing isolated critical points for invariant systems - PhD Seminar, University of Waterloo, Canada.
  • Nov. 2020 - Solving determinantal systems by using homotopy techniques and exploiting the column structures - PhD Seminar, University of Waterloo, Canada.
  • Apr. 2019 - Computing critical points for invariant algebraic systems - PhD Seminar, University of Waterloo, Canada.
  • Jul. 2017 - Computing canonical bases of modules of univariate relations - ISSAC 2017, University of Kaiserslautern, Germany.
  • Jun. 2017 - Solving determinantal systems using homotopy techniques - SCG seminar, University of Waterloo, Canada.

Teaching assistant

At the University of Waterloo, Canada
  • Fall 2020 - CS466/666 (Algorithm Design and Analysis)
  • Spring 2020 - CS 475/675 (Computational Linear Algebra)
  • Winter 2020 - AMATH 242/CS 371 (Introduction to Computational Math)
  • Fall 2019 - CS 245 (Logic and Computation)
  • Spring 2019 - CS 136 (Elementary Algorithm Design and Data Abstraction)