I am Postdoctoral Fellow at the University of Hong Kong, in the research group of Prof. Xuhua He.
My PhD supervisor was Prof. Jiang-Hua LU.
You can find my CV (updated in April 2024).
Contact details: adsg96@hku.hk
Family name: my family name is de Saint Germain. It is in fact my "nom d'usage" (i.e. family name I use and am known by); my full family name is Lefebvre de Saint Germain. The latter is only used in official documents (e.g. name on the PhD thesis).
GitHub username: Antoine-dSG
Antoine de Saint Germain
Research Interests
Cluster algebras
Lie Theory
Total positivity
Poisson geometry
Formal proofs in Lean