International Symposium on Symbolic and Algebraic Computation · 2024
Cited
0
Resume (English only)
Academic Achievements
Editor for Journal of Symbolic Computation, Journal of Algebra (section on computational algebra); Delivered plenary talks at numerous international conferences; Supervised several students to complete their doctoral theses; Participated in multiple international collaborative projects; Developed several software packages including msolve, RAGLib, SPECTRA, RealCertify; Published numerous academic papers.
Research Experience
Professor; Member of LIP6 PolSys team; Institut Universitaire de France (IUF) member (promotion 2012); Involved in multiple international and national projects; Collaborated with various institutions to develop software.
Background
Computer Algebra, Polynomial System Solving, Computational Real Algebraic Geometry research
Miscellany
Enjoys teaching algorithms, especially those acting on mathematical objects and programming; Recently teaches courses at Master Parisien de Recherche en Informatique (MPRI) on polynomial system solving through computer algebra methods.