Weijia Wang
I am a PhD student in the PolSys team of LIP6, Sorbonne Université, and in the Sierra team at Inria Paris. I am supervised by Simone Naldi, Mohab Safey El Din, and Adrien Taylor.
My research centers on designing computer algebra-based algorithms to automate the convergence analysis of first-order optimization algorithms. At present, these analyses rely heavily on ad hoc methodologies and intricate, manually written proofs with significant computational content. By enabling automated, computer-assisted proofs, this work has the potential to reshape the field fundamentally.
You can contact me via email at weijia.wang[at]{lip6.fr,sorbonne-universite.fr,inria.fr}, or find me at 26-00/338 on the Jussieu campus.
Teaching
- Fall 2026: UL2IN005 - Mathématiques discrètes (practical work)
- Spring 2026: UL1IN002 - Eléments de programmation 2 (tutorials, practical work)
- Spring 2026: UM4IN906 - Projet CCA (supervision)
- Fall 2025: UL2IN006 - Structures de données (tutorials, practical work)
- Spring 2025: LU3IN024 - Introduction à la cryptologie (tutorials, practical work)
- Fall 2024: LU2IN002 - Introduction à la programmation objet (practical work)
Supervision
- Yuejia Dai, June-August 2026.
Plotting Real Plane Algebraic Curves.
B.Sc. student in Mathematics and Computer Science, Sorbonne Université. - Yunus Gürlek and Frédéric Xia, January-May 2026.
Fast Computation of Multivariate Subresultants.
report
M.Sc. students in Computer Science, Sorbonne Université.
Publications
- Solving parametric linear matrix inequalities
Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang
Journal of Symbolic Computation, Volume 138. hal / doi / pdf - Solving generic parametric linear matrix inequalities
Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang
Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation (ISSAC 2025). hal / arXiv / doi / pdf - Consistency of automated market makers
Vincent Danos, Weijia Wang
4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022). hal / doi / pdf
Talks
- Solving parametric LMIs via real root classification: A Julia approach to automated convergence analysis
15 minutes talk at JuliaCon Global 2026, Mainz, Germany, 12 August 2026. program / slides - Solving parametric linear matrix inequalities
1 hour talk at Oberseminar "Reelle Geometrie und Algebra", Konstanz, Germany, 10 July 2026. abstract - Real root classification via Hermite quadratic forms: recent advances and applications
20 minutes talk at Journées Nationales de Calcul Formel (JNCF 2026), Luminy, France, 2-6 March 2026. program / abstract / slides - Solving Generic Parametric Linear Matrix Inequalities
25 minutes talk at ISSAC 2025, Guanajuato, Mexico, 28 July-1 August 2025. program - Solving Parametric Linear Matrix Inequalities and Convergence Analysis in Optimization