Lei Zhang

Lei Zhang

Dr. Lei Zhang is Associate Professor of Mathematics at the National University of Singapore. His research is rooted in number theory, representation theory, and the Langlands program, with recent work connecting deep mathematical theory with computable and conceptual frameworks. His research has been recognized by the 2021 Best Paper Award from SCIENCE CHINA Mathematics and the 2020 Gold Medal for Best Paper from the International Consortium of Chinese Mathematicians.

Beyond his mathematical research, Dr. Zhang is actively engaged in AI for mathematics, with interests in formalization, the digitalization of mathematical knowledge, and verifiable reasoning systems. He has organized AI-related academic activities, including workshops on formal proofs and Lean, and has published and presented articles and talks on machine learning. He is particularly interested in building AI-assisted infrastructure for mathematics and science, making mathematical knowledge more structured, searchable, verifiable, and reusable, while preserving the central role of human insight in discovery and education.

Share this speaker
Share This Speaker
  • Organization
    National University of Singapore
  • Profession
Related sessions
AI for Good Global Summit
In person
9 July 2026
•
14:00 - 17:00
EST - New York
CST - Beijing
PST - Los Angeles
AWST - Perth, Australia
Webinar
OnlineAI and peopleAI and cities +2
8 December 2022
•
09:00 - 11:00
EST - New York
CST - Beijing
PST - Los Angeles
AWST - Perth, Australia

Are you sure you want to remove this speaker?