More about HKUST
I plan to start with an introduction of overview picture with many examples, then cover basic concepts such as simplicial/derived rings, derived schemes, stable infinity categories and derived categories, animations and Quillen and Lurie's nonabelian functors, derived deformation theory, etc.