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