- 2014.7 - : York University, Post-Doctoral Visitor.
- 2011.9 - 2014.6: Sichuan University, Ph.D. in Mathematics.
- 2008.9 - 2011.6: Sichuan University, M.Sc. in Mathematics.
- 2004.9 - 2008.6: Sichuan University, B.Sc. in Mathematics.
- Email: math《at》mickeylili.com
- Adjunctions in category thoery.
- Quantaloid-enriched categories.
- Applications of category theory in algebras, topology and computer science.