About me:
I am currently an Associate Professor at the Chinese University of Hong Kong, Shenzhen.
I obtained my Master degree at Wadham College, Oxford University in 2007,
and Ph.D. degree at Cornell University in 2013.
My area of research is on representation theory of reductive Lie groups.
You can also find the notes of some of the courses I taught here.
Here are some small projects I carried out with the help of artificial intelligence:
- Fake Proofs in Mathematics.
- A baby construction of Conway's surreal number in Lean (student presentation, blueprint).
- Painted-bipartition calculator for some special unipotent representations.