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:
- Dirac cohomology of standard (g,K)-modules.
- A relationship between Springer-Steinberg map and Sommers' dual map.
- 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.