[Distinguished Lecture] Regularity for Boltzmann Equation in a Convex Domain