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/315 on the Jussieu campus.