• Ming Yean Lim (林明彦)
  • Ann Arbor, MI, US
  • N/A
  • @mlyean

About Me

I am a fourth-year mathematics PhD student at the University of Michigan, advised by Charlotte Chan and Thomas Lam.

I am mainly interested in representation theory of a combinatorial and geometric flavor. I particularly enjoy problems with a computational aspect. You can find some of my past work here. On the side, I am also interested in formal theorem proving.

Previously, I completed Part III of the Mathematical Tripos at the University of Cambridge, taking mostly courses in number theory while there. Before that, I obtained my bachelor's degree in pure mathematics from Imperial College London.

In my high school and undergraduate days, I was also involved in competitive programming, having participated in the IOI and ICPC regionals.

Feel free to reach out to me if you would like to chat!