Normal is T4T_4T4 and T1T_1T1.
X metric implies X normal (cf Metrizable)
X compact Hausdorff implies X regular and normal (cf Compact space, Hausdorff space)