I am an Associate Professor in the School of Mathematical Sciences at Xiamen University. My research focuses on the representation theory of reductive groups and the local Langlands program, particularly theta correspondence. I also work on formalized mathematics in Lean and AI-assisted mathematical research.
Publications · Teaching · CV · Formalization Projects
Contact
|
 |
Research Interests
- Representation theory: reductive groups, theta correspondence, the local Langlands program, Hecke algebras, geometric representation theory, and invariant theory.
- Formalized mathematics: game theory and representation theory in Lean, AI-assisted mathematical research, and integrating Lean into teaching.
Formalization projects
- EconCSLib — a Lean 4 library for computational economics and game theory.
- LanglandsProject — a mathematical knowledge base and Lean foundations for the Langlands program.
Education
- 2013 Feb, Ph.D in Mathematics
- National University of Singapore, Singapore
Dissertation: Two topics on local theta correspondence
Advisor: Professor Chengbo Zhu - 2007 Jun, B.S. in Mathematics
- Soochow University, Suzhou Jiangsu China
Final Year Project Advisor: Professor Dingbian Qian
Career History
- July 2021 — present
- Associate Professor, School of Mathematical Sciences, Xiamen University, China
- July 2021 — June 2026
- Associate Professor, Department of Mathematics, Xiamen University Malaysia, Malaysia
- Jan 2017 — June 2021
- Associate Professor (Tenure Track), School of Mathematical Sciences, Shanghai Jiao Tong University, China
- Mar 2016 — Dec 2016
- Research Fellow, Department of Mathematics, National University of Singapore, Singapore
- Sept 2014 — Feb 2016
- Postdoctoral Fellow, The Institute of Mathematical Sciences, The Chinese University of Hong Kong, Hong Kong
- Oct 2013 — Aug 2014
- Postdoctoral Fellow, Department of Mathematics, Ben-Gurion University of the Negev, Israel
- Apr 2013 — Aug 2013
- Research Fellow, Department of Mathematics, National University of Singapore, Singapore