I am trained as a researcher in pure mathematics, but have recently initiated a research program for bridging the gap between pure mathematics and artificial intelligence. My purpose for joining the forum is two-fold. Firstly, I aim to increase awareness of this project to mathematicians in Hong Kong and overseas. Secondly, I aim to break the barriers and limitations of my own discipline, by sharing this project with non-mathematicians. These two objectives are critical for the success of the project, and I believe the Forum is ideally suited for this purpose.

From a pure mathematics perspective, I am interested in the interplay between cluster algebras (a branch of representation theory), Lie theory and total positivity. Typically, this involves making use of the combinatorial and algebraic framework of cluster algebras to reveal new patterns in Lie theory and total positivity. This point of view has allowed me to solve open problems (e.g. Ringel's conjecture), introduce beautiful new mathematical objects (e.g. Y-frieze patterns) and unveil surprising connections (e.g. between Donaldson-Thomas transformations and degrees of Weyl groups).
At the same time, I am interested and active in the new discipline of "formal mathematics" in Lean. Last year I initiated and successfully completed my first formalisation project. Currently, I am working with many collaborators in formalise (parts of) the classification of Lie algebras in Lean. My objective is to build towards computers assisting mathematicians in developing new results in Lie theory, and the Lean formalisation is a critical first step.