Brian Zhengyu Li is a Master Student in Computational Mathematics at the Faculty of Mathematics at the University of Waterloo under the supervision of Professor Vijay Ganesh. He holds a Bachelor of Science in Mathematics from the University of Toronto.

His primary research interests include **Machine Learning for Logic and Mathematics (SAT/SMT Solvers), Quantum Foundations, Quantum Information, and Quantum Algorithms**.
CV (PDF)»