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)»

Selected Publications

Citations: 9   Erdös #: 3  

• Submitted "A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem", Zhengyu Li, Curtis Bright, and Vijay Ganesh.
• Published "Automatic quantification and classification of microplastics in scanning electron micrographs via deep learning", Shi, B., Patel, M., Yu, D., Yan, J., Li, Z., Petriw, D., ... & Howe, J. Y. (2022). Science of The Total Environment.
• Published "In Tetracycles: a SET Deck Magic Trick", Parker Glynn-Adey, Zhengyu Li. Math Horizons.

Awards and Honors More »

• Dean's List Scholar - University of Toronto
• Department Honour Roll - University of Toronto Mississauga Department of Mathematical & Computational Sciences
• Best VR/AR Application - HackWestern Hackathon 2020
• Best Machine Learning Application Award - Hack the Six Hackathon 2019
• Third Place - Scotiabank & University of Toronto Big Data & A.I. Competition 2019

Graduate Level Courses More »

• CM 740 Fundamentals of Optimization
• CM 770 Numerical Analysis
• QIC 710 Quantum Information Processing